pyk.kast.prelude.kint module

absInt(i: KInner) → KApply[source]

Instantiate the KAST term `absInt`(i).

Parameters:: i – The integer operand.
Returns:: The KAST term `absInt`(i).

addInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_+Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_+Int_`(i1, i2).

andInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_&Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_&Int_`(i1, i2).

divInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_/Int_`(i1, i2).

Parameters:

i1 – The dividend.
i2 – The divisor.

Returns:

The KAST term `_/Int_`(i1, i2).

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

Instantiate the KAST term `_==Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_==Int_`(i1, i2).

euclidDivInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_divInt_`(i1, i2).

Parameters:

i1 – The dividend.
i2 – The divisor.

Returns:

The KAST term `_divInt_`(i1, i2).

euclidModInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_modInt_`(i1, i2).

Parameters:

i1 – The dividend.
i2 – The divisor.

Returns:

The KAST term `_modInt_`(i1, i2).

expInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_^Int_`(i1, i2).

Parameters:

i1 – The base.
i2 – The exponent.

Returns:

The KAST term `_^Int_`(i1, i2).

expModInt(i1: KInner, i2: KInner, i3: KInner) → KApply[source]

Instantiate the KAST term `_^%Int__`(i1, i2, i3).

Parameters:

i1 – The dividend.
i2 – The divisior.
i3 – The modulus.

Returns:

The KAST term `_^%Int__`(i1, i2, i3).

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

Instantiate the KAST term `_>=Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_>=Int_`(i1, i2).

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

Instantiate the KAST term `_>Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_>Int_`(i1, i2).

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

Instantiate the KAST term #token(i, "Int").

Parameters:: i – The integer literal.
Returns:: The KAST term #token(i, "Int").

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

Instantiate the KAST term `_<=Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_<=Int_`(i1, i2).

lshiftInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_<<Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_<<Int_`(i1, i2).

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

Instantiate the KAST term `_<Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_<Int_`(i1, i2).

maxInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `maxInt`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `maxInt`(i1, i2).

minInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `minInt`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `minInt`(i1, i2).

modInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_%Int_`(i1, i2).

Parameters:

i1 – The dividend.
i2 – The divisor.

Returns:

The KAST term `_%Int_`(i1, i2).

mulInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_*Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_*Int_`(i1, i2).

neqInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_=/=Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_=/=Int_`(i1, i2).

notInt(i: KInner) → KApply[source]

Instantiate the KAST term `~Int_`(i).

Parameters:: i – The integer operand.
Returns:: The KAST term `Int_`(i).

orInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_|Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_|Int_`(i1, i2).

rshiftInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_>>Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_>>Int_`(i1, i2).

subInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_-Int_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_-Int_`(i1, i2).

xorInt(i1: KInner, i2: KInner) → KApply[source]

Instantiate the KAST term `_xorInt_`(i1, i2).

Parameters:

i1 – The left operand.
i2 – The right operand.

Returns:

The KAST term `_xorInt_`(i1, i2).