let
constrain =
Gram
.
Entry
.mk
"constrain"