class interpreter:
disambiguator:MatitaTypes.disambiguator ->
- proof_handler:MatitaTypes.proof_handler ->
+ currentProof:MatitaTypes.currentProof ->
console:MatitaTypes.console ->
+ ?mathViewer:MatitaTypes.mathViewer ->
dbd:Mysql.dbd ->
unit ->
MatitaTypes.interpreter