sig
  type t
  val cset : Dalton.Make.SCHEME_ROOT.t -> Dalton.Make.cset
  val copy :
    Dalton.Make.cset ->
    (Dalton.Make.node -> Dalton.Make.node) ->
    Dalton.Make.SCHEME_ROOT.t -> Dalton.Make.SCHEME_ROOT.t
  val iter :
    (Dalton_aux.variance -> Dalton.Make.node -> unit) ->
    Dalton.Make.SCHEME_ROOT.t -> unit
  val iter2 :
    (Dalton_aux.variance -> Dalton.Make.node -> Dalton.Make.node -> unit) ->
    Dalton.Make.SCHEME_ROOT.t -> Dalton.Make.SCHEME_ROOT.t -> unit
  val fprint :
    Format.formatter ->
    Dalton.Make.cset Dalton_aux.printer ->
    (Dalton_aux.variance -> Format.formatter -> Dalton.Make.node -> unit) ->
    Dalton.Make.SCHEME_ROOT.t -> unit
end