Module Server.Kernel_ast.KfMarker

module KfMarker: Server.Data.S  with type t = kernel_function * Printer_tag.localizable

type t 
val jtype : Server.Package.jtype
val of_json : Server.Data.json -> t
val to_json : t -> Server.Data.json