Module Tuto1_plugin.Simple_declare
val packed_declare_definition : poly:bool -> Names.Id.t -> EConstr.constr Evd.in_evar_universe_context -> unit
Tuto1_plugin.Simple_declareval packed_declare_definition : poly:bool -> Names.Id.t -> EConstr.constr Evd.in_evar_universe_context -> unit