/** F3 — Control monomers: MC_24–MC_31 */
export declare const mcIf: <T>(cond: boolean, t: T, e: T) => T;
export declare const mcLoop: <T>(n: number, init: T, f: (a: T) => T) => T;
export declare const nop: <T>(v: T) => T;
export declare const halt: (code: number) => number;
export declare const cmpEq: (a: number, b: number) => boolean;
export declare const cmpLt: (a: number, b: number) => boolean;
export declare const cmpGt: (a: number, b: number) => boolean;
export declare const mcCall: <A, B>(f: (a: A) => B, arg: A) => B;
//# sourceMappingURL=control.d.ts.map