sig
  module Position :
    sig
      type t = Filepath.position
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Kf :
    sig
      type t = Cil_types.kernel_function
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Fundec :
    sig
      type t = Cil_types.fundec
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Ki :
    sig
      type t = Cil_types.kinstr
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Stmt :
    sig
      type t = Cil_types.stmt
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Lval :
    sig
      type t = Cil_types.kinstr * Cil_types.lval
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Marker :
    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
  module KfMarker :
    sig
      type t = Cil_types.kernel_function * Printer_tag.localizable
      val jtype : Package.jtype
      val of_json : Data.json -> t
      val to_json : t -> Data.json
    end
  module Printer : Printer_tag.S_pp
  module Information :
    sig
      val register :
        id:string ->
        label:string ->
        title:string ->
        ?enable:(unit -> bool) ->
        (Stdlib.Format.formatter -> Printer_tag.localizable -> unit) -> unit
      val signal : Server.Request.signal
      val update : unit -> unit
    end
  module Functions :
    sig val array : Cil_types.kernel_function Server.States.array end
end