norename enum class bool

noncreation

  infix 16 or(other: bool): bool := builtin "bool_or"(self, other)

  infixr 11 and(other: bool): bool := builtin "bool_and"(self, other)

  prefix not: bool := builtin "bool_not"(self)

predefined

  0 .. 1

end
