module KfMarker: Data.S with type t = kernel_function * Printer_tag.localizable
Data.S
with type t = kernel_function * Printer_tag.localizable
type t
val jtype : Package.jtype
Package.jtype
val of_json : Data.json -> t
Data.json -> t
val to_json : t -> Data.json
t -> Data.json