Module type Sigs.DEFS

module type DEFS = sig .. end

type t 

val to_string : t -> string

val to_melt : t -> Latex.t

val pp : Format.formatter -> t -> unit