Module Tuto2_plugin.Demo

val __coq_plugin_name : string
type type_5 =
| Foo_5
| Bar_5
val wit_custom5 : (type_5, unit, unit) Genarg.genarg_type
val custom5 : type_5 Pcoq.Entry.t
val counter : int Summary.Local.local_ref
type custom =
| Foo_2
| Bar_2
val pr_custom : 'a -> 'b -> 'c -> custom -> Pp.t
val wit_custom2 : (custom, custom, custom) Genarg.genarg_type
val custom2 : custom Pcoq.Entry.t