// Generated from ../../Splice/AmuletAllocation/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 pkg93c942ae2b4c2ba674fb152fe38473c507bda4e82b4e4c5da55a552a9d8cce1d from '../../__bundled__/splice-api-token-allocation-v1';
import * as pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69 from '../../__bundled__/ghc-stdlib-DA-Internal-Template';

import * as Splice_Amulet from '../../Splice/Amulet/module';

export declare type AmuletAllocation = {
  lockedAmulet: damlTypes.ContractId<Splice_Amulet.LockedAmulet>,
  allocation: pkg93c942ae2b4c2ba674fb152fe38473c507bda4e82b4e4c5da55a552a9d8cce1d.Splice.Api.Token.AllocationV1.AllocationSpecification,
}

export declare interface AmuletAllocationInterface {
  Archive: 
    damlTypes.Choice<AmuletAllocation, pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69.DA.Internal.Template.Archive, {}, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<AmuletAllocation, undefined>>;
}
export declare const AmuletAllocation:
  damlTypes.Template<AmuletAllocation, undefined, '#splice-amulet:Splice.AmuletAllocation:AmuletAllocation'> &
  damlTypes.ToInterface<AmuletAllocation, pkg93c942ae2b4c2ba674fb152fe38473c507bda4e82b4e4c5da55a552a9d8cce1d.Splice.Api.Token.AllocationV1.Allocation> &
  AmuletAllocationInterface