method get_as_string : string
method get_metasenv_and_term :
context:Cic.context ->
- metasenv:Cic.metasenv -> Cic.metasenv * Cic.term
- method environment : DisambiguatingParser.Environment.t ref
+ metasenv:Cic.metasenv -> Cic.metasenv * Cic.term * CicUniv.universe_graph
+ method environment : DisambiguatingParser.EnvironmentP3.t ref
method reset : unit
method set_term : string -> unit
end
module Make :
- functor (C : Disambiguate_types.Callbacks) ->
+ functor (C : DisambiguateTypes.Callbacks) ->
sig
val term_editor :
- MQIConn.handle ->
+ dbd:Mysql.dbd ->
?packing:(GObj.widget -> unit) ->
?width:int ->
?height:int ->