Make.2-User
val print : string -> unit
val print_symbol : I.xsymbol -> unit
val print_element : (I.element -> unit) option