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]