nspec - 0.1.3

Stdlib.Data.Bool.Base

Description

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.

builtin assert assert (x : Bool) : BoolSource#