blob: 7079ca925d2e5c77d9549e84c6c584c2151dc535 (
plain)
1
2
3
4
5
6
7
8
|
val simple_check1 :
EConstr.constr Evd.in_evar_universe_context -> EConstr.constr
val simple_check2 :
EConstr.constr Evd.in_evar_universe_context -> Evd.evar_map * EConstr.constr
val simple_check3 :
EConstr.constr Evd.in_evar_universe_context -> EConstr.constr
|
