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