UriManager.uri list ->
Cic.metasenv * (Cic.term Cic.explicit_named_substitution)
-val expand_implicits:
- Cic.metasenv -> Cic.substitution -> Cic.context -> Cic.term ->
- Cic.metasenv * Cic.term
-
-val expand_implicits_in_obj:
- Cic.metasenv -> Cic.substitution -> Cic.obj -> Cic.metasenv * Cic.obj