DisambiguateTypes.term ->
DisambiguateTypes.environment * Cic.metasenv * Cic.term *
CicUniv.universe_graph
val get_context_and_metasenv:
DisambiguateTypes.term ->
DisambiguateTypes.environment * Cic.metasenv * Cic.term *
CicUniv.universe_graph
val get_context_and_metasenv: