Skip to content

Variants Reference

A variant is a named profile that bundles behavior choices and expected feature support into a single spec-compliance posture. Implementations declare a variant to say “I aim to match this reading of the spec.”

Variants exist so the test suite can filter on a single field rather than enumerating every (behavior, feature) tuple that defines a conformance level.

Each heading below is the canonical anchor for the corresponding variant:* tag in the test suite.

Tag: variant:reference_compliant

Matches the OCaml reference implementation’s semantics. An implementation declaring reference_compliant commits to:

New implementations should target this variant unless they have a specific reason to diverge.