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