sig
  val reset : unit -> unit
  val print_variable :
    ?user_name_from_int:(int -> string) ->
    bool -> MultiEquation.variable -> string
  val print_term :
    ?user_name_from_int:(int -> string) ->
    bool -> MultiEquation.crterm -> string
end