pyk.prelude.kbool module

andBool(items: Iterable[KInner]) → KInner[source]

boolToken(b: bool) → KToken[source]

impliesBool(antecedent: KInner, consequent: KInner) → KApply[source]

notBool(item: KInner) → KApply[source]

orBool(items: Iterable[KInner]) → KInner[source]