universe -> Cic.context -> Cic.term -> Cic.term -> universe
val index_local_term:
universe -> Cic.context -> Cic.term -> Cic.term -> universe
universe -> Cic.context -> Cic.term -> Cic.term -> universe
val index_local_term:
universe -> Cic.context -> Cic.term -> Cic.term -> universe