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
+ string list *
+ ((string -> CicTextualParser0.interp_codomain option) ->
+ (Cic.metasenv * Cic.term))