BooleanConditional

Protocol for types that may appear directly in if, while, and other boolean contexts.

Bool is the canonical conformer. The method returns the primitive lang.i1 rather than Bool to avoid a circular dependency between the conditional lowering and Bool itself.