// Generated from ../../../Fairmint/EquityTokens/EquityRegistry/module.daml

/* eslint-disable @typescript-eslint/camelcase */
/* eslint-disable @typescript-eslint/no-namespace */
/* eslint-disable @typescript-eslint/no-use-before-define */
import * as jtv from '@mojotech/json-type-validation';
import * as damlTypes from '@daml/types';

import * as pkg051a3b0563a6fa4df4cb34448081e48b061e555aa1a265abf6ae8f3f4cafe439 from '../../../__bundled__/splice-api-token-allocation-v2';
import * as pkg29317e3b7b165d2bbf16721bcca0ec4869e53eddb2738bddf790d61af28e0099 from '../../../__bundled__/splice-api-token-transfer-instruction-v2';
import * as pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032 from '../../../__bundled__/splice-api-token-holding-v2';
import * as pkg5c1097a9bad0af4bcfe6d3fb0fe55112d3d11f18eae57ddfb14c20836fee226c from '../../../__bundled__/splice-api-token-transfer-events-v2';
import * as pkg9818a0b5b827109de03a04c8f6151cde9d1e7fe5123dbb2dfeb0e52d7271287c from '../../../__bundled__/splice-api-token-allocation-instruction-v2';
import * as pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69 from '../../../__bundled__/ghc-stdlib-DA-Internal-Template';

import * as Fairmint_EquityTokens_DelegatedBrokeredSellAuthorization from '../../../Fairmint/EquityTokens/DelegatedBrokeredSellAuthorization/module';
import * as Fairmint_EquityTokens_Types_Context from '../../../Fairmint/EquityTokens/Types/Context/module';

export declare type EquityRegistry = {
  context: Fairmint_EquityTokens_Types_Context.RegistryContext,
}

export declare interface EquityRegistryInterface {
  Archive: 
    damlTypes.Choice<EquityRegistry, pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69.DA.Internal.Template.Archive, {}, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<EquityRegistry, undefined>>;
  EquityRegistry_Burn: 
    damlTypes.Choice<EquityRegistry, EquityRegistry_Burn, damlTypes.Numeric, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<EquityRegistry, undefined>>;
  EquityRegistry_Mint: 
    damlTypes.Choice<EquityRegistry, EquityRegistry_Mint, damlTypes.ContractId<pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Holding>, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<EquityRegistry, undefined>>;
  EquityRegistry_RecordDelegatedBrokeredSellAuthorization: 
    damlTypes.Choice<EquityRegistry, EquityRegistry_RecordDelegatedBrokeredSellAuthorization, damlTypes.ContractId<Fairmint_EquityTokens_DelegatedBrokeredSellAuthorization.DelegatedBrokeredSellAuthorization>, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<EquityRegistry, undefined>>;
}
export declare const EquityRegistry:
  damlTypes.Template<EquityRegistry, undefined, '#EquityTokens-v07:Fairmint.EquityTokens.EquityRegistry:EquityRegistry'> &
  damlTypes.ToInterface<EquityRegistry, pkg5c1097a9bad0af4bcfe6d3fb0fe55112d3d11f18eae57ddfb14c20836fee226c.Splice.Api.Token.TransferEventsV2.EventLog | pkg051a3b0563a6fa4df4cb34448081e48b061e555aa1a265abf6ae8f3f4cafe439.Splice.Api.Token.AllocationV2.SettlementFactory | pkg9818a0b5b827109de03a04c8f6151cde9d1e7fe5123dbb2dfeb0e52d7271287c.Splice.Api.Token.AllocationInstructionV2.AllocationFactory | pkg29317e3b7b165d2bbf16721bcca0ec4869e53eddb2738bddf790d61af28e0099.Splice.Api.Token.TransferInstructionV2.TransferFactory> &
  EquityRegistryInterface

export declare type EquityRegistry_Burn = {
  owner: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Account,
  instrumentId: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.InstrumentId,
  inputHoldingCids: damlTypes.ContractId<pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Holding>[],
}

export declare const EquityRegistry_Burn:
  damlTypes.Serializable<EquityRegistry_Burn>

export declare type EquityRegistry_Mint = {
  receiver: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Account,
  amount: damlTypes.Numeric,
  instrumentId: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.InstrumentId,
}

export declare const EquityRegistry_Mint:
  damlTypes.Serializable<EquityRegistry_Mint>

export declare type EquityRegistry_RecordDelegatedBrokeredSellAuthorization = {
  brokerDealer: damlTypes.Party,
  seller: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Account,
  buyer: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.Account,
  maximumAmount: damlTypes.Numeric,
  instrumentId: pkg4b7ecfc366d79ccc5ed07c80f26fe489cf2dfd43ce2856c06a78e6a048db7032.Splice.Api.Token.HoldingV2.InstrumentId,
  authorizationId: string,
  sellerAuthorizationHash: string,
  authorizationNonce: string,
  expiresAt: damlTypes.Time,
}

export declare const EquityRegistry_RecordDelegatedBrokeredSellAuthorization:
  damlTypes.Serializable<EquityRegistry_RecordDelegatedBrokeredSellAuthorization>