+ method chooseUris = !_chooseUris
+ method setChooseUris f = _chooseUris := f
+
+ method chooseInterp = !_chooseInterp
+ method setChooseInterp f = _chooseInterp := f
+
+ val parserr = parserr_instance ()
+ method parserr = parserr
+
+ val dbd = MatitaMisc.dbd_instance ()
+