end
-val script: buffer:GText.buffer -> init:MatitaTypes.status -> unit -> script
+val script:
+ buffer:GText.buffer ->
+ init:MatitaTypes.status ->
+ mathviewer: MatitaTypes.mathViewer->
+ urichooser: (string list -> string list) ->
+ unit ->
+ script
(* each time script above is called an internal ref is set, instance will return
* the value of this ref *)