sig
  type t
  val to_string : Sigs.DEFS.t -> string
  val to_melt : Sigs.DEFS.t -> Latex.t
  val pp : Format.formatter -> Sigs.DEFS.t -> unit
end