constraint

Kind: kind

Record: kind:constraint

Canonical: Schema

a rule or precondition that must hold for correctness or acceptance ('requires that…')

Listed in Record kinds, after principle and before capability.

Allowed by

Linked from