Module open_target_ordinals

Constants

FLEXIBLE_EVENT

FLEXIBLE_ONE_WAY

FLEXIBLE_TWO_WAY

FLEXIBLE_TWO_WAY_ERR

FLEXIBLE_TWO_WAY_FIELDS

FLEXIBLE_TWO_WAY_FIELDS_ERR

STRICT_EVENT

STRICT_ONE_WAY

STRICT_TWO_WAY

STRICT_TWO_WAY_ERR

STRICT_TWO_WAY_FIELDS

STRICT_TWO_WAY_FIELDS_ERR