Up
–
coq-core
»
Tuto2_plugin
» Custom
Module
Tuto2_plugin.Custom
type
custom_type
=
|
Foo
|
Bar