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