Term_base.CustomDef
type content
val name : string
val to_string : content -> string
val to_json : pos:Pos.t list -> content -> Json.t
val compare : content -> content -> int