@runtimeverificationinc/tsk
Version:
TypeScript/JavaScript library for K Framework functionality
201 lines (200 loc) • 5.79 kB
TypeScript
import { KApply, KInner, KSort, KToken } from "../inner";
export declare const INT: KSort;
/**
* Instantiate the KAST term `#token(i, "Int")`.
*
* @param i - The integer literal.
* @returns The KAST term `#token(i, "Int")`.
*/
export declare function intToken(i: number): KToken;
/**
* Instantiate the KAST term `_<Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_<Int_(i1, i2)`.
*/
export declare function ltInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_<=Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_<=Int_(i1, i2)`.
*/
export declare function leInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_>Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_>Int_(i1, i2)`.
*/
export declare function gtInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_>=Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_>=Int_(i1, i2)`.
*/
export declare function geInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_==Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_==Int_(i1, i2)`.
*/
export declare function eqInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_=/=Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_=/=Int_(i1, i2)`.
*/
export declare function neqInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `~Int_(i)`.
*
* @param i - The integer operand.
* @returns The KAST term `~Int_(i)`.
*/
export declare function notInt(i: KInner): KApply;
/**
* Instantiate the KAST term `_^Int_(i1, i2)`.
*
* @param i1 - The base.
* @param i2 - The exponent.
* @returns The KAST term `_^Int_(i1, i2)`.
*/
export declare function expInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_^%Int__(i1, i2, i3)`.
*
* @param i1 - The dividend.
* @param i2 - The divisor.
* @param i3 - The modulus.
* @returns The KAST term `_^%Int__(i1, i2, i3)`.
*/
export declare function expModInt(i1: KInner, i2: KInner, i3: KInner): KApply;
/**
* Instantiate the KAST term `_*Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_*Int_(i1, i2)`.
*/
export declare function mulInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_/Int_(i1, i2)`.
*
* @param i1 - The dividend.
* @param i2 - The divisor.
* @returns The KAST term `_/Int_(i1, i2)`.
*/
export declare function divInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_%Int_(i1, i2)`.
*
* @param i1 - The dividend.
* @param i2 - The divisor.
* @returns The KAST term `_%Int_(i1, i2)`.
*/
export declare function modInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_divInt_(i1, i2)`.
*
* @param i1 - The dividend.
* @param i2 - The divisor.
* @returns The KAST term `_divInt_(i1, i2)`.
*/
export declare function euclidDivInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_modInt_(i1, i2)`.
*
* @param i1 - The dividend.
* @param i2 - The divisor.
* @returns The KAST term `_modInt_(i1, i2)`.
*/
export declare function euclidModInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_+Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_+Int_(i1, i2)`.
*/
export declare function addInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_-Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_-Int_(i1, i2)`.
*/
export declare function subInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_>>Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_>>Int_(i1, i2)`.
*/
export declare function rshiftInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_<<Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_<<Int_(i1, i2)`.
*/
export declare function lshiftInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_&Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_&Int_(i1, i2)`.
*/
export declare function andInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_xorInt_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_xorInt_(i1, i2)`.
*/
export declare function xorInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `_|Int_(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `_|Int_(i1, i2)`.
*/
export declare function orInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `minInt(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `minInt(i1, i2)`.
*/
export declare function minInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `maxInt(i1, i2)`.
*
* @param i1 - The left operand.
* @param i2 - The right operand.
* @returns The KAST term `maxInt(i1, i2)`.
*/
export declare function maxInt(i1: KInner, i2: KInner): KApply;
/**
* Instantiate the KAST term `absInt(i)`.
*
* @param i - The integer operand.
* @returns The KAST term `absInt(i)`.
*/
export declare function absInt(i: KInner): KApply;