interface MichelsonTypeFailed {
    failed:
        | MichelsonTypeMap<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeBigMap<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeSaplingState<string>
        | MichelsonTypeOperation
        | MichelsonTypeLambda<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypePair<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)[]>
        | MichelsonTypeList<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeContract<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeOption<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeSet<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeOr<[(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)]>
        | MichelsonTypeSaplingTransaction<string>
        | MichelsonTypeChest
        | MichelsonTypeTicket<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
        | MichelsonTypeBLS12_381_G1
        | MichelsonTypeBLS12_381_G2
        | MichelsonTypeBLS12_381_FR
        | MichelsonTypeChestKey
        | MichelsonTypeString
        | MichelsonTypeAddress
        | MichelsonTypeInt
        | MichelsonTypeMutez
        | MichelsonTypeUnit
        | MichelsonTypeBytes
        | MichelsonTypeKey
        | MichelsonTypeSignature
        | MichelsonTypeKeyHash
        | MichelsonTypeTimestamp
        | MichelsonTypeNat
        | MichelsonTypeBool
        | MichelsonTypeNever
        | MichelsonTypeChainID;
    level: number;
}

Properties

Properties

failed:
    | MichelsonTypeMap<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeBigMap<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeSaplingState<string>
    | MichelsonTypeOperation
    | MichelsonTypeLambda<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypePair<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)[]>
    | MichelsonTypeList<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeContract<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeOption<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeSet<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeOr<[(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...), (MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)]>
    | MichelsonTypeSaplingTransaction<string>
    | MichelsonTypeChest
    | MichelsonTypeTicket<(MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<MichelsonTypeMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<... | MichelsonTypeBigMap<...)>
    | MichelsonTypeBLS12_381_G1
    | MichelsonTypeBLS12_381_G2
    | MichelsonTypeBLS12_381_FR
    | MichelsonTypeChestKey
    | MichelsonTypeString
    | MichelsonTypeAddress
    | MichelsonTypeInt
    | MichelsonTypeMutez
    | MichelsonTypeUnit
    | MichelsonTypeBytes
    | MichelsonTypeKey
    | MichelsonTypeSignature
    | MichelsonTypeKeyHash
    | MichelsonTypeTimestamp
    | MichelsonTypeNat
    | MichelsonTypeBool
    | MichelsonTypeNever
    | MichelsonTypeChainID
level: number