val main :
current_uri:(UriManager.uri) -> context:((Cic.name option) list) ->
- (Lexing.lexbuf -> CicTextualParser.token) -> Lexing.lexbuf ->
- Cic.term option
+ metasenv:Cic.metasenv -> (Lexing.lexbuf -> CicTextualParser.token) ->
+ Lexing.lexbuf -> (Cic.metasenv * Cic.term) option