exception Command_error of string
-class interpreter:
+val interpreter:
disambiguator:MatitaTypes.disambiguator ->
- proof_handler:MatitaTypes.proof_handler ->
- console:MatitaConsole.console ->
+ console:#MatitaTypes.console ->
+ ?mathViewer:MatitaTypes.mathViewer ->
unit ->
MatitaTypes.interpreter