UGraph.Bound
type t
=
|
Prop
Set
The Prop bound is only used for template polymorphic inductive types.