aboutsummaryrefslogtreecommitdiff
path: root/doc/plugin_tutorial/tuto1/src/simple_declare.mli
blob: fd74e81526eb3b47ea8f35613475a9ededf6404e (plain) 
1
2
3
4
5

open Names
open EConstr

val packed_declare_definition :
    poly:bool -> Id.t -> constr Evd.in_evar_universe_context -> unit
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:21:15 +0000