/**
 * Builtin
 */
export type BuiltinExtendsBuiltinCostModel = AssertExtends<BuiltinCostModel, Builtin>;
/**
 * Cost
 */
export type CostTrackerExtendsCost = AssertExtends<Cost, CostTracker>;
/**
 * Loggers
 */
export type BasicUplcLoggerExtendsUplcLogger = AssertExtends<UplcLogger, BasicUplcLogger>;
/**
 * Uplc terms
 */
export type CommonUplcTermProps = CekTerm & {
    toFlat: (writer: FlatWriter) => void;
    children: UplcTerm[];
};
/**
 * Uplc terms
 */
export type UplcApplyExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcApply>;
/**
 * Uplc terms
 */
export type UplcBuiltinExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcBuiltin>;
/**
 * Uplc terms
 */
export type UplcCallExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcCall>;
/**
 * Uplc terms
 */
export type UplcConstExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcConst>;
/**
 * Uplc terms
 */
export type UplcConstrExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcConstr>;
/**
 * Uplc terms
 */
export type UplcDelayExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcDelay>;
/**
 * Uplc terms
 */
export type UplcErrorExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcError>;
/**
 * Uplc terms
 */
export type UplcForceExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcForce>;
/**
 * Uplc terms
 */
export type UplcLambdaExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcLambda>;
/**
 * Uplc terms
 */
export type UplcVarExtendsCommonUplcTermProps = AssertExtends<CommonUplcTermProps, UplcVar>;
/**
 * Cek frames
 */
export type CommonCekFrameProps = {
    reduce: (frames: CekFrame[], value: CekValue, ctx: CekContext) => CekState;
};
/**
 * Cek frames
 */
export type CekForceFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekForceFrame>;
/**
 * Cek frames
 */
export type CekLeftApplyToTermFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekLeftApplyToTermFrame>;
/**
 * Cek frames
 */
export type CekLeftApplyToValueFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekLeftApplyToValueFrame>;
/**
 * Cek frames
 */
export type CekRightApplyFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekRightApplyFrame>;
/**
 * Cek frames
 */
export type CekConstrArgFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekConstrArgFrame>;
/**
 * Cek frames
 */
export type CekCaseScrutineeFrameExtendsCekFrame = AssertExtends<CommonCekFrameProps, CekCaseScrutineeFrame>;
/**
 * Contexts
 */
export type CekContextExtendsBuiltinContext = AssertExtends<BuiltinContext, CekContext>;
/**
 * Contexts
 */
export type CekMachineExtendsCekContext = AssertExtends<CekContext, CekMachine>;
/**
 * Uplc primitive values
 */
export type CommonUplcValueProps = {
    memSize: number;
    flatSize: number;
    type: UplcType;
    isEqual: (other: UplcValue) => boolean;
    toFlat: (writer: FlatWriter) => void;
    toString: () => string;
};
/**
 * Uplc primitive values
 */
export type UplcIntExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcInt>;
/**
 * Uplc primitive values
 */
export type UplcByteArrayExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcByteArray>;
/**
 * Uplc primitive values
 */
export type UplcStringExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcString>;
/**
 * Uplc primitive values
 */
export type UplcUnitExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcUnit>;
/**
 * Uplc primitive values
 */
export type UplcBoolExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcBool>;
/**
 * Uplc primitive values
 */
export type UplcListExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcList>;
/**
 * Uplc primitive values
 */
export type UplcPairExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcPair>;
/**
 * Uplc primitive values
 */
export type UplcDataValueExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, UplcDataValue>;
/**
 * Uplc primitive values
 */
export type Bls12_381_G1_elementExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, Bls12_381_G1_element>;
/**
 * Uplc primitive values
 */
export type Bls12_381_G2_elementExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, Bls12_381_G2_element>;
/**
 * Uplc primitive values
 */
export type Bls12_381_MlResultExtendsCommonUplcValueProps = AssertExtends<CommonUplcValueProps, Bls12_381_MlResult>;
/**
 * Uplc data values
 */
export type CommonUplcDataProps = {
    memSize: number;
    isEqual: (other: UplcData) => boolean;
    toCbor: () => number[];
    toSchemaJson: () => string;
    toString: () => string;
    rawData?: any;
    dataPath?: string;
};
/**
 * Uplc data values
 */
export type ByteArrayDataExtendsCommonUplcDataProps = AssertExtends<CommonUplcDataProps, ByteArrayData>;
/**
 * Uplc data values
 */
export type ConstrDataExtendsCommonUplcDataProps = AssertExtends<CommonUplcDataProps, ConstrData>;
/**
 * Uplc data values
 */
export type IntDataExtendsCommonUplcDataProps = AssertExtends<CommonUplcDataProps, IntData>;
/**
 * Uplc data values
 */
export type ListDataExtendsCommonUplcDataProps = AssertExtends<CommonUplcDataProps, ListData>;
/**
 * Uplc data values
 */
export type MapDataExtendsCommonUplcDataProps = AssertExtends<CommonUplcDataProps, MapData>;
/**
 * Uplc programs
 */
export type CommonUplcProgramProps<T> = {
    plutusVersion: PlutusVersion;
    plutusVersionTag: PlutusVersionTag;
    uplcVersion: UplcVersion;
    alt?: T;
    apply(args: UplcValue[]): T;
    withAlt(alt: T): T;
    root: UplcTerm;
    ir?: string;
    eval(args: UplcValue[] | undefined, options?: {
        logOptions?: UplcLogger;
        costModelParams?: number[];
    }): CekResult;
    hash(): number[];
    toCbor(): number[];
    toFlat(): number[];
    toString(): string;
};
/**
 * Uplc programs
 */
export type UplcProgramV1ExtendsCommonUplcProgramProps<T> = AssertExtends<CommonUplcProgramProps<UplcProgramV1>, UplcProgramV1>;
/**
 * Uplc programs
 */
export type UplcProgramV2ExtendsCommonUplcProgramProps<T> = AssertExtends<CommonUplcProgramProps<UplcProgramV2>, UplcProgramV2>;
/**
 * Uplc programs
 */
export type UplcProgramV3ExtendsCommonUplcProgramProps<T> = AssertExtends<CommonUplcProgramProps<UplcProgramV3>, UplcProgramV3>;
/**
 * Errors
 */
export type UplcRuntimErrorExtendsError = AssertExtends<Error, UplcRuntimeError>;
import type { BuiltinCostModel } from "./index.js";
import type { Builtin } from "./index.js";
import type { AssertExtends } from "@helios-lang/type-utils";
import type { Cost } from "./index.js";
import type { CostTracker } from "./index.js";
import type { UplcLogger } from "./index.js";
import type { BasicUplcLogger } from "./index.js";
import type { CekTerm } from "./index.js";
import type { FlatWriter } from "./index.js";
import type { UplcTerm } from "./index.js";
import type { UplcApply } from "./index.js";
import type { UplcBuiltin } from "./index.js";
import type { UplcCall } from "./index.js";
import type { UplcConst } from "./index.js";
import type { UplcConstr } from "./index.js";
import type { UplcDelay } from "./index.js";
import type { UplcError } from "./index.js";
import type { UplcForce } from "./index.js";
import type { UplcLambda } from "./index.js";
import type { UplcVar } from "./index.js";
import type { CekFrame } from "./index.js";
import type { CekValue } from "./index.js";
import type { CekContext } from "./index.js";
import type { CekState } from "./index.js";
import type { CekForceFrame } from "./index.js";
import type { CekLeftApplyToTermFrame } from "./index.js";
import type { CekLeftApplyToValueFrame } from "./index.js";
import type { CekRightApplyFrame } from "./index.js";
import type { CekConstrArgFrame } from "./index.js";
import type { CekCaseScrutineeFrame } from "./index.js";
import type { BuiltinContext } from "./index.js";
import type { CekMachine } from "./index.js";
import type { UplcType } from "./index.js";
import type { UplcValue } from "./index.js";
import type { UplcInt } from "./index.js";
import type { UplcByteArray } from "./index.js";
import type { UplcString } from "./index.js";
import type { UplcUnit } from "./index.js";
import type { UplcBool } from "./index.js";
import type { UplcList } from "./index.js";
import type { UplcPair } from "./index.js";
import type { UplcDataValue } from "./index.js";
import type { Bls12_381_G1_element } from "./index.js";
import type { Bls12_381_G2_element } from "./index.js";
import type { Bls12_381_MlResult } from "./index.js";
import type { UplcData } from "./index.js";
import type { ByteArrayData } from "./index.js";
import type { ConstrData } from "./index.js";
import type { IntData } from "./index.js";
import type { ListData } from "./index.js";
import type { MapData } from "./index.js";
import type { PlutusVersion } from "./index.js";
import type { PlutusVersionTag } from "./index.js";
import type { UplcVersion } from "./index.js";
import type { CekResult } from "./index.js";
import type { UplcProgramV1 } from "./index.js";
import type { UplcProgramV2 } from "./index.js";
import type { UplcProgramV3 } from "./index.js";
import type { UplcRuntimeError } from "./index.js";
//# sourceMappingURL=internal.d.ts.map