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