method get_metasenv_and_term :
context:Cic.context ->
metasenv:Cic.metasenv -> Cic.metasenv * Cic.term
- method environment : DisambiguatingParser.Environment.t ref
+ method environment : DisambiguatingParser.EnvironmentP3.t ref
method reset : unit
method set_term : string -> unit
end