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