-type txt_out_spec = {out : string -> unit;
- path : MathQL.path -> unit;
- query : MathQL.query -> unit;
- result : MathQL.result -> unit
- }
+type text_out_spec = {out : string -> unit;
+ path : MathQL.path -> unit;
+ query : MathQL.query -> unit;
+ result : MathQL.result -> unit
+ }