pub const OP_CONDITIONAL: u8 = 0x15;Expand description
O(q | p) — the head of a dyadic / conditional obligation: q is obligatory
given condition p. Evaluation is fact-driven (see evaluate_conditional_obligation);
contrary-to-duty is the special case p = “primary breached”.