s_mach.validate
A description of a constraint on the value of a field
field path
human readable description e.g. "must be between (0,150)"
human readable description e.g.
a tuple of the head of the path and copy of this with the head of the path removed
a copy of this with a field appended to the head of the path
A description of a constraint on the value of a field
field path
human readable description e.g. "must be between (0,150)"