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