functor (Root : SCHEME_ROOT) ->
sig
val copy : ?subst:Dalton.Make.subst -> Root.t -> Root.t
val fprint : Format.formatter -> Root.t -> unit
val draw : Draw.window -> Root.t -> int -> int -> int * int
type solve_report
val report_solve :
Format.formatter -> Dalton.Make.Scheme.solve_report -> unit
val solve : Root.t -> Dalton.Make.Scheme.solve_report option
type comparison_report
val report_comparison :
Format.formatter -> Dalton.Make.Scheme.comparison_report -> unit
val compare :
Root.t -> Root.t -> Dalton.Make.Scheme.comparison_report option
val equivalent : Root.t -> Root.t -> bool
type minimal_report
val report_minimal :
Format.formatter -> Dalton.Make.Scheme.minimal_report -> unit
val has_minimal_instance :
Root.t -> Dalton.Make.Scheme.minimal_report option
end