Module Tuto1_plugin.Simple_check
val simple_check1 : Environ.env -> Evd.evar_map -> EConstr.constr -> Evd.evar_map * EConstr.constrval simple_check2 : Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constr
Tuto1_plugin.Simple_checkval simple_check1 : Environ.env -> Evd.evar_map -> EConstr.constr -> Evd.evar_map * EConstr.constrval simple_check2 : Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constr