Type alias MessageDefinition<typedData, primaryType, primaryTypes, schema, message>

MessageDefinition<typedData, primaryType, primaryTypes, schema, message>: {
    types: typedData;
} & {
    domain?: schema extends {
            EIP712Domain: infer domain;
        }
        ? domain
        : Prettify<TypedDataDomain>;
    message: {
            [_: string]: any;
        } extends message
        ? Record<string, unknown>
        : message;
    primaryType: primaryTypes | (primaryType extends primaryTypes
        ? primaryType
        : never);
}

typedData extends TypedData | Record<string, unknown> = TypedData
primaryType extends keyof typedData = keyof typedData
primaryTypes = typedData extends TypedData
? keyof typedData
: string
schema extends Record<string, unknown> = typedData extends TypedData
? TypedDataToPrimitiveTypes<typedData>
: Record<string, unknown>
message = schema[primaryType extends keyof schema
? primaryType
: keyof schema]

Optional domain?: schema extends {
        EIP712Domain: infer domain;
    }
    ? domain
    : Prettify<TypedDataDomain>
message: {
        [_: string]: any;
    } extends message
    ? Record<string, unknown>
    : message
primaryType: primaryTypes | (primaryType extends primaryTypes
? primaryType
: never)