Currency // Enum, defined elsewhere } type alias OrderValue as Money operation checkAvailableCredit( CustomerId, OrderValue( currency = ‘USD’ ) ) : CreditStatus Constraint on input
Currency // Enum, defined elsewhere } operation convertCurrency( source : Money, targetCcy : Currency ) : Money( from source, currency = targetCcy ) But this bit Changed to that
CustomerName } @Entity type extension Customer { @Id id name as LegacyMarketingName } Cannot change type Can add aliases provided base type is the same