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