package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `UGraph.Bound`Source

Sourcetype t =

| Prop
| Set
(*
The Prop bound is only used for template polymorphic inductive types.
*)