nspec - 0.1.0

Stdlib.Data.Bool.Base

Definitions

import Juvix.Builtin.V1.Bool open public

not : Bool BoolSource#

Logical negation.

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.

builtin bool-if ite : {A : Type} Bool A A ASource#

Returns the first argument if true, otherwise it returns the second argument. Evaluated lazily. Cannot be partially applied.

or (a b : Bool) : BoolSource#

Logical disjunction.

and (a b : Bool) : BoolSource#

Logical conjunction.