// Generated from ../../../../Fairmint/OpenCapTable/OCF/StockCancellation/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 pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69 from '../../../../__bundled__/ghc-stdlib-DA-Internal-Template';

import * as Fairmint_OpenCapTable_Types_Core from '../../../../Fairmint/OpenCapTable/Types/Core/module';

export declare type StockCancellation = {
  context: Fairmint_OpenCapTable_Types_Core.Context,
  cancellation_data: StockCancellationOcfData,
}

export declare interface StockCancellationInterface {
  Archive: 
    damlTypes.Choice<StockCancellation, pkg9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69.DA.Internal.Template.Archive, {}, undefined> &
    damlTypes.ChoiceFrom<damlTypes.Template<StockCancellation, undefined>>;
}
export declare const StockCancellation:
  damlTypes.Template<StockCancellation, undefined, '#OpenCapTable-v35:Fairmint.OpenCapTable.OCF.StockCancellation:StockCancellation'> &
  damlTypes.ToInterface<StockCancellation, never> &
  StockCancellationInterface

export declare type StockCancellationOcfData = {
  id: string,
  date: damlTypes.Time,
  quantity: damlTypes.Numeric,
  reason_text: string,
  security_id: string,
  comments: string[],
  balance_security_id: damlTypes.Optional<string>,
}

export declare const StockCancellationOcfData:
  damlTypes.Serializable<StockCancellationOcfData>