builtin bool type BoolSource#

not : Bool → BoolSource#

builtin bool-or || : Bool → Bool → BoolSource#

builtin bool-and && : Bool → Bool → BoolSource#

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

or : Bool → Bool → BoolSource#

and : Bool → Bool → BoolSource#