* http://helm.cs.unibo.it/
*)
-class parserr: unit ->
- object
- inherit MatitaTypes.parserr
- end
+class parserr: unit -> MatitaTypes.parserr
class disambiguator:
parserr:MatitaTypes.parserr -> (** parser *)
- mqiconn:MQIConn.handle -> (** mathql database connection *)
+ dbh:Dbi.connection ->
chooseUris:MatitaTypes.choose_uris_callback ->
chooseInterp:MatitaTypes.choose_interp_callback ->
unit ->
- object
- inherit MatitaTypes.disambiguator
- end
+ MatitaTypes.disambiguator