Definitions
import Juvix.Builtin.V1.Bool open public
builtin bool-or || : Bool → Bool → BoolSource#
Logical disjunction. Evaluated lazily. Cannot be partially applied
builtin bool-and && : Bool → Bool → BoolSource#
Logical conjunction. Evaluated lazily. Cannot be partially applied.