blob: bcf1bf56cf69614dc76fad99d0f49708895fa05c (
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
|
