export declare class Yul { static sub(x: bigint, y: bigint): bigint; static sdiv(x: bigint, y: bigint): bigint; static and(x: bigint, y: bigint): bigint; static slt(x: bigint, y: bigint): bigint; static not(x: bigint): bigint; static iszero(x: bigint): bigint; static smod(x: bigint, y: bigint): bigint; }