Concept
Rocq constructor function computation rule
Journey Statuslearning
A Constructor expression is an expression constructed using a Constructor, effectively creating a member of a set represented by a type.
A Constructor expression is an expression constructed using a Constructor, effectively creating a member of a set represented by a type.