Module statement

Source

Structsยง

Statement
A statement of values claimed to satisfy a constraint system.