# Struct requirements (`#require`)

Use `#require` on a `struct` to state requirements that must hold for all
values constructed for that type.

See [struct requirements](/silk/wiki/language/struct-requirements/) and [formal verification](/silk/wiki/language/formal-verification/).