let
type_constraint =
Gram
.
Entry
.mk
"type_constraint"