sig
type t = Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
val jstmt : Server.Package.jtype
val jdecl : Server.Package.jtype
val jlval : Server.Package.jtype
val jexpr : Server.Package.jtype
val jterm : Server.Package.jtype
val jglobal : Server.Package.jtype
val jproperty : Server.Package.jtype
val create : t -> string
val lookup : string -> t
end