sig
  val ghost : string
  val left_destructor :
    'a Dalton_aux.printer -> Format.formatter -> 'a -> unit
  val right_destructor :
    'a Dalton_aux.printer -> Format.formatter -> 'a -> unit
  val left_destructor_skel :
    'a Dalton_aux.printer -> Format.formatter -> 'a -> unit
  val right_destructor_skel :
    'a Dalton_aux.printer -> Format.formatter -> 'a -> unit
  val same_skel :
    'a Dalton_aux.printer -> Format.formatter -> 'a list -> unit
  val equal : 'a Dalton_aux.printer -> Format.formatter -> 'a list -> unit
  val leq :
    'a Dalton_aux.printer ->
    'b Dalton_aux.printer -> Format.formatter -> 'a -> 'b -> unit
  val lhs : 'a Dalton_aux.printer -> Format.formatter -> 'a list -> unit
  val rhs : 'a Dalton_aux.printer -> Format.formatter -> 'a list -> unit
  val cset_begin : Format.formatter -> unit
  val cset_end : Format.formatter -> unit
  val cset_item : 'a Dalton_aux.printer -> Format.formatter -> 'a -> unit
end