* http://helm.cs.unibo.it/
*)
-class parserr: unit -> MatitaTypes.parserr
+val parserr: unit -> MatitaTypes.parserr
+val disambiguator: unit -> MatitaTypes.disambiguator
-class disambiguator:
- parserr:MatitaTypes.parserr -> (** parser *)
- dbd:Mysql.dbd ->
- chooseUris:MatitaTypes.choose_uris_callback ->
- chooseInterp:MatitaTypes.choose_interp_callback ->
- unit ->
- MatitaTypes.disambiguator
+ (** singleton parser instance *)
+val parserr_instance: unit -> MatitaTypes.parserr
+
+ (** singleton disambiguator instance *)
+val instance: unit -> MatitaTypes.disambiguator