+ CicTextualParser0.metasenv := metasenv ;
+ let dom,mk_term = CicTextualParser.main lexer lexbuf in
+ let metasenv' = !CicTextualParser0.metasenv in
+ dom,
+ function interp ->
+ CicTextualParser0.metasenv := metasenv' ;
+ let term = mk_term interp in
+ let metasenv = !CicTextualParser0.metasenv in
+ metasenv,term