/**
 * @param {CekValue[]} args
 * @param {BuiltinContext} _ctx
 * @returns {CekValue}
 */
export function evalModInteger(args: CekValue[], _ctx: BuiltinContext): CekValue;
/**
 * @import { Builtin, BuiltinContext, CekValue } from "../../index.js"
 */
/**
 * @type {Builtin}
 */
export const modInteger: Builtin;
import type { CekValue } from "../../index.js";
import type { BuiltinContext } from "../../index.js";
import type { Builtin } from "../../index.js";
//# sourceMappingURL=modInteger.d.ts.map