Iron references

Find detailed documentation about the main concepts of Iron.

Data types

• Iron Type: a constrained type.
• Constraint: a type constraint.
• Implication: a logical implication between two constraints.

Miscellaneous

• Refinement methods: compile-time and runtime ways to refine values.
• New types: No-overhead new types from Iron constraints.