Variable $ExecutorParamConst

$ExecutorParam: $.Shape<
    | {
        type: "MaxMemoryPages";
        value: number;
    }
    | {
        type: "StackLogicalMax";
        value: number;
    }
    | {
        type: "StackNativeMax";
        value: number;
    }
    | {
        type: "PrecheckingMaxMemory";
        value: bigint;
    }
    | {
        type: "PvfPrepTimeout";
        value: readonly ["Precheck" | "Prepare", bigint];
    }
    | {
        type: "PvfExecTimeout";
        value: readonly ["Backing" | "Approval", bigint];
    }
    | {
        type: "WasmExtBulkMemory";
    },
    | {
        type: "MaxMemoryPages";
        value: number;
    }
    | {
        type: "StackLogicalMax";
        value: number;
    }
    | {
        type: "StackNativeMax";
        value: number;
    }
    | {
        type: "PrecheckingMaxMemory";
        value: bigint;
    }
    | {
        type: "PvfPrepTimeout";
        value: ["Precheck" | "Prepare", bigint];
    }
    | {
        type: "PvfExecTimeout";
        value: ["Backing" | "Approval", bigint];
    }
    | {
        type: "WasmExtBulkMemory";
    }> = ...

The different executor parameters for changing the execution environment semantics.