// Generated from ../../../../Fairmint/OpenCapTable/OCF/ConvertibleRetraction/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 ConvertibleRetraction = {
  context: Fairmint_OpenCapTable_Types_Core.Context,
  retraction_data: ConvertibleRetractionOcfData,
}

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

export declare type ConvertibleRetractionOcfData = {
  id: string,
  date: damlTypes.Time,
  reason_text: string,
  security_id: string,
  comments: string[],
}

export declare const ConvertibleRetractionOcfData:
  damlTypes.Serializable<ConvertibleRetractionOcfData>