What are constructor expressions in rocq?

A constructor expression is an expression constructed using a Constructor, effectively creating a member of a set represented by a type.