sig
  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 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 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 Functions :
    sig val array : Cil_types.kernel_function Server.States.array end
end