pyk.prelude.kint module¶

eqInt(i1: KInner, i2: KInner) → KApply[source]¶

geInt(i1: KInner, i2: KInner) → KApply[source]¶

gtInt(i1: KInner, i2: KInner) → KApply[source]¶

intToken(i: int) → KToken[source]¶

leInt(i1: KInner, i2: KInner) → KApply[source]¶

ltInt(i1: KInner, i2: KInner) → KApply[source]¶