CicTextualParser0.interpretation_domain_item list ->
(CicTextualParser0.interpretation -> Cic.metasenv * Cic.term) ->
id_to_uris:domain_and_interpretation ->
CicTextualParser0.interpretation_domain_item list ->
(CicTextualParser0.interpretation -> Cic.metasenv * Cic.term) ->
id_to_uris:domain_and_interpretation ->