LetterOfCreditEvent

type LetterOfCreditEvent =
  | LetterOfCreditCreatedEvent
  | LetterOfCreditCollateralModifiedEvent
  | LetterOfCreditExpirationExtendedEvent
  | LetterOfCreditConvertedEvent
  | LetterOfCreditPartiallyLiquidatedEvent
  | LetterOfCreditRedeemedEvent
  | LetterOfCreditCanceledEvent;

Closed evidence grammar for history model version 1: seven variants over nine Solidity source events.