@fairmint/open-captable-protocol-daml-js 0.2.12 → 0.2.14

package/README.md

@@ -1,6 +1,6 @@
 ## Shared Coding Guidelines for OCP DAML Packages
 
-This repository contains multiple DAML packages (e.g., `OpenCapTable-v25`, `OpenCapTableReports-v01`, `OpenCapTableProofOfOwnership-v01`, `OpenCapTableShared-v01`). This document defines coding guidelines that apply to all packages.
+This repository contains multiple DAML packages (e.g., `OpenCapTable-v25`, `OpenCapTableReports-v01`, `OpenCapTableProofOfOwnership-v01`, `Shared-v01`, `Subscriptions-v01`). This document defines coding guidelines that apply to all packages.
 
 For package-specific details about each implementation, see the README.md file in the respective package directory (e.g., `open-captable-protocol-daml/OpenCapTable-v25/README.md`).
 
@@ -62,4 +62,155 @@ Each package may include additional constraints and domain guidance. Refer to:
 - `open-captable-protocol-daml/OpenCapTable-v25/README.md` for Open Cap Table specifics (e.g., Issuer management patterns).
 - Other package READMEs as applicable.
 
+## Adding Support for New Packages
+
+When adding a new DAML package to this repository (e.g., `NewPackage-v01`), follow these steps to ensure full integration with the build, deployment, and publishing pipeline:
+
+### 1. Create the Package Directory
+
+Create a new directory at the root level with your package name and version (e.g., `NewPackage-v01/`).
+
+### 2. Set Up Package Structure
+
+- Create `daml.yaml` with proper configuration
+- Add your DAML modules under `daml/` directory
+- Create a package-specific `README.md` documenting the package purpose and usage
+
+### 3. Update Build Scripts
+
+Update the following files to include your new package:
+
+#### `package.json`
+- **codegen script**: Add codegen step for your package in the `codegen` script
+  ```
+  cd NewPackage-v01 && daml codegen js && cd ..
+  ```
+- **upload-dar script**: Add new script for uploading DAR files
+  ```json
+  "upload-dar:newpackage": "npm run build && ts-node scripts/upload-dar-newpackage.ts --network devnet && ts-node scripts/upload-dar-newpackage.ts --network mainnet"
+  ```
+- **create-factory script**: Add new script for creating factory contracts
+  ```json
+  "create-factory:newpackage": "npm run codegen && ts-node scripts/create-newpackage-factory.ts --network devnet && ts-node scripts/create-newpackage-factory.ts --network mainnet"
+  ```
+- **upload-and-create script**: Add combined script
+  ```json
+  "upload-and-create:newpackage": "npm run upload-dar:newpackage && npm run create-factory:newpackage"
+  ```
+- **exports**: Add export for factory contract ID JSON
+  ```json
+  "./newpackage-factory-contract-id.json": {
+    "types": "./generated/newpackage-factory-contract-id.json.d.ts",
+    "default": "./generated/newpackage-factory-contract-id.json"
+  }
+  ```
+- **files**: Add generated files to the npm package
+  ```json
+  "generated/newpackage-factory-contract-id.json",
+  "generated/newpackage-factory-contract-id.json.d.ts"
+  ```
+- **typesVersions**: Add type definitions for JSON imports
+  ```json
+  "newpackage-factory-contract-id.json": [
+    "generated/newpackage-factory-contract-id.json.d.ts"
+  ]
+  ```
+
+#### `scripts/bundle-dependencies.ts`
+Add your package directory to the `PACKAGE_DIRS` array:
+```typescript
+const PACKAGE_DIRS = [
+  path.join(__dirname, '../generated/js/OpenCapTable-v25-0.0.1'),
+  path.join(__dirname, '../generated/js/OpenCapTableReports-v01-0.0.2'),
+  path.join(__dirname, '../generated/js/NewPackage-v01-0.0.1'),
+];
+```
+
+#### `scripts/create-package-index.ts`
+Add your package directory to the `packageDirs` array:
+```typescript
+const packageDirs = [
+  path.join(__dirname, '..', 'generated', 'js', 'OpenCapTable-v25-0.0.1'),
+  path.join(__dirname, '..', 'generated', 'js', 'OpenCapTableReports-v01-0.0.2'),
+  path.join(__dirname, '..', 'generated', 'js', 'NewPackage-v01-0.0.1'),
+];
+```
+
+#### `scripts/create-root-index.ts`
+1. Add constants for your package directories:
+   ```typescript
+   const NEWPACKAGE_DIR = path.join(ROOT_DIR, 'generated', 'js', 'NewPackage-v01-0.0.1');
+   const NEWPACKAGE_LIB = path.join(NEWPACKAGE_DIR, 'lib');
+   ```
+
+2. Copy your package namespace in `buildCombinedLib()`:
+   ```typescript
+   copyDir(path.join(NEWPACKAGE_LIB, 'Fairmint', 'NewPackage'), path.join(destFairmint, 'NewPackage'));
+   ```
+
+3. Update Fairmint index files to export your namespace:
+   ```typescript
+   // In index.js:
+   var NewPackage = require('./NewPackage');
+   exports.NewPackage = NewPackage;
+   
+   // In index.d.ts:
+   export * as NewPackage from './NewPackage';
+   ```
+
+4. Add JSON type definition in `ensureJsonDts()`:
+   ```typescript
+   ensureJson(
+     path.join(ROOT_DIR, 'generated', 'newpackage-factory-contract-id.json'),
+     path.join(ROOT_DIR, 'generated', 'newpackage-factory-contract-id.json.d.ts'),
+     `declare const data: {\n    devnet: {\n        newpackageFactoryContractId: string;\n        templateId: string;\n    };\n    mainnet: {\n        newpackageFactoryContractId: string;\n        templateId: string;\n    };\n};\nexport default data;\n`
+   );
+   ```
+
+### 4. Create Deployment Scripts
+
+Create two new scripts in the `scripts/` directory:
+
+#### `scripts/upload-dar-newpackage.ts`
+Upload the DAR file to both devnet and mainnet. Use existing scripts as templates (e.g., `upload-dar-reports.ts`).
+
+Key elements:
+- Parse `--network` argument
+- Upload to both `intellect` and `5n` providers
+- Point to correct DAR file path: `NewPackage-v01/.daml/dist/NewPackage-v01-{version}.dar`
+
+#### `scripts/create-newpackage-factory.ts`
+Create factory contract on both networks. Use existing factory scripts as templates.
+
+Key elements:
+- Import generated DAML types from `../lib`
+- Create factory contract with appropriate arguments
+- Save contract ID to `generated/newpackage-factory-contract-id.json`
+- Include proper error handling and network argument parsing
+
+### 5. Test the Integration
+
+1. Build DAML packages:
+   ```bash
+   npm run build
+   ```
+
+2. Generate JavaScript bindings:
+   ```bash
+   npm run codegen
+   ```
+
+3. Verify generated files exist in `lib/Fairmint/NewPackage/`
+
+4. Test deployment scripts:
+   ```bash
+   npm run upload-and-create:newpackage
+   ```
+
+### 6. Update Documentation
+
+- Add package to the list in this README's introduction
+- Create package-specific README with domain guidance
+- Document any new contract templates and their usage
+
 

package/generated/subscriptions-factory-contract-id.json

@@ -0,0 +1,10 @@
+{
+  "devnet": {
+    "subscriptionsFactoryContractId": "004f6cd59c7ae93bebbfb3e43eff5877907cfe9a5d1b385752e76b2f907a1b57b3ca111220eaf625bdca4c94f6d67bda92f2bcad7e3e258bb6f5a81964d0bee24971f88d1b",
+    "templateId": "a69aaed3f2c990040ac22263af73b2547522cc540ffeca867b0f13d74d9e663d:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
+  },
+  "mainnet": {
+    "subscriptionsFactoryContractId": "0077a4cc4aa445a09b04f1c72eaf8fd17ca61310ae7dc1a1e0d39918125d08e960ca111220d8fc5ce9b61e47b1871b45437c32882afb75dd2b93dacbbc87d6134b5859dcaf",
+    "templateId": "a69aaed3f2c990040ac22263af73b2547522cc540ffeca867b0f13d74d9e663d:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
+  }
+}

package/generated/subscriptions-factory-contract-id.json.d.ts

@@ -0,0 +1,11 @@
+declare const data: {
+    devnet: {
+        subscriptionsFactoryContractId: string;
+        templateId: string;
+    };
+    mainnet: {
+        subscriptionsFactoryContractId: string;
+        templateId: string;
+    };
+};
+export default data;

package/lib/DA/Date/Types/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Date/Types/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Date/Types/module.d.ts

@@ -0,0 +1,47 @@
+// Generated from DA/Date/Types.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type DayOfWeek =
+  | 'Monday'
+  | 'Tuesday'
+  | 'Wednesday'
+  | 'Thursday'
+  | 'Friday'
+  | 'Saturday'
+  | 'Sunday'
+;
+
+export declare const DayOfWeek:
+  damlTypes.Serializable<DayOfWeek> & {
+  }
+& { readonly keys: DayOfWeek[] } & { readonly [e in DayOfWeek]: e }
+;
+
+
+export declare type Month =
+  | 'Jan'
+  | 'Feb'
+  | 'Mar'
+  | 'Apr'
+  | 'May'
+  | 'Jun'
+  | 'Jul'
+  | 'Aug'
+  | 'Sep'
+  | 'Oct'
+  | 'Nov'
+  | 'Dec'
+;
+
+export declare const Month:
+  damlTypes.Serializable<Month> & {
+  }
+& { readonly keys: Month[] } & { readonly [e in Month]: e }
+;
+

package/lib/DA/Date/Types/module.js

@@ -0,0 +1,48 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.DayOfWeek = {
+  Monday: 'Monday',
+  Tuesday: 'Tuesday',
+  Wednesday: 'Wednesday',
+  Thursday: 'Thursday',
+  Friday: 'Friday',
+  Saturday: 'Saturday',
+  Sunday: 'Sunday',
+  keys: ['Monday','Tuesday','Wednesday','Thursday','Friday','Saturday','Sunday',],
+  decoder: damlTypes.lazyMemo(function () { return jtv.oneOf(jtv.constant(exports.DayOfWeek.Monday), jtv.constant(exports.DayOfWeek.Tuesday), jtv.constant(exports.DayOfWeek.Wednesday), jtv.constant(exports.DayOfWeek.Thursday), jtv.constant(exports.DayOfWeek.Friday), jtv.constant(exports.DayOfWeek.Saturday), jtv.constant(exports.DayOfWeek.Sunday)); }),
+  encode: function (__typed__) { return __typed__; },
+};
+
+
+
+exports.Month = {
+  Jan: 'Jan',
+  Feb: 'Feb',
+  Mar: 'Mar',
+  Apr: 'Apr',
+  May: 'May',
+  Jun: 'Jun',
+  Jul: 'Jul',
+  Aug: 'Aug',
+  Sep: 'Sep',
+  Oct: 'Oct',
+  Nov: 'Nov',
+  Dec: 'Dec',
+  keys: ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec',],
+  decoder: damlTypes.lazyMemo(function () { return jtv.oneOf(jtv.constant(exports.Month.Jan), jtv.constant(exports.Month.Feb), jtv.constant(exports.Month.Mar), jtv.constant(exports.Month.Apr), jtv.constant(exports.Month.May), jtv.constant(exports.Month.Jun), jtv.constant(exports.Month.Jul), jtv.constant(exports.Month.Aug), jtv.constant(exports.Month.Sep), jtv.constant(exports.Month.Oct), jtv.constant(exports.Month.Nov), jtv.constant(exports.Month.Dec)); }),
+  encode: function (__typed__) { return __typed__; },
+};
+

package/lib/DA/Date/index.d.ts

@@ -0,0 +1,2 @@
+import * as Types from './Types';
+export { Types } ;

package/lib/DA/Date/index.js

@@ -0,0 +1,9 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+var Types = require('./Types');
+exports.Types = Types;

package/lib/DA/Exception/ArithmeticError/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Exception/ArithmeticError/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Exception/ArithmeticError/module.d.ts

@@ -0,0 +1,18 @@
+// Generated from DA/Exception/ArithmeticError.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type ArithmeticError = {
+  message: string;
+};
+
+export declare const ArithmeticError:
+  damlTypes.Serializable<ArithmeticError> & {
+  }
+;
+

package/lib/DA/Exception/ArithmeticError/module.js

@@ -0,0 +1,25 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.ArithmeticError = {
+  decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
+  encode: function (__typed__) {
+  return {
+    message: damlTypes.Text.encode(__typed__.message),
+  };
+}
+,
+};
+

package/lib/DA/Exception/AssertionFailed/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Exception/AssertionFailed/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Exception/AssertionFailed/module.d.ts

@@ -0,0 +1,18 @@
+// Generated from DA/Exception/AssertionFailed.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type AssertionFailed = {
+  message: string;
+};
+
+export declare const AssertionFailed:
+  damlTypes.Serializable<AssertionFailed> & {
+  }
+;
+

package/lib/DA/Exception/AssertionFailed/module.js

@@ -0,0 +1,25 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.AssertionFailed = {
+  decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
+  encode: function (__typed__) {
+  return {
+    message: damlTypes.Text.encode(__typed__.message),
+  };
+}
+,
+};
+

package/lib/DA/Exception/GeneralError/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Exception/GeneralError/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Exception/GeneralError/module.d.ts

@@ -0,0 +1,18 @@
+// Generated from DA/Exception/GeneralError.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type GeneralError = {
+  message: string;
+};
+
+export declare const GeneralError:
+  damlTypes.Serializable<GeneralError> & {
+  }
+;
+

package/lib/DA/Exception/GeneralError/module.js

@@ -0,0 +1,25 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.GeneralError = {
+  decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
+  encode: function (__typed__) {
+  return {
+    message: damlTypes.Text.encode(__typed__.message),
+  };
+}
+,
+};
+

package/lib/DA/Exception/PreconditionFailed/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Exception/PreconditionFailed/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Exception/PreconditionFailed/module.d.ts

@@ -0,0 +1,18 @@
+// Generated from DA/Exception/PreconditionFailed.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type PreconditionFailed = {
+  message: string;
+};
+
+export declare const PreconditionFailed:
+  damlTypes.Serializable<PreconditionFailed> & {
+  }
+;
+

package/lib/DA/Exception/PreconditionFailed/module.js

@@ -0,0 +1,25 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.PreconditionFailed = {
+  decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
+  encode: function (__typed__) {
+  return {
+    message: damlTypes.Text.encode(__typed__.message),
+  };
+}
+,
+};
+

package/lib/DA/Exception/index.d.ts

@@ -0,0 +1,2 @@
+import * as PreconditionFailed from './PreconditionFailed';
+export { PreconditionFailed } ;

package/lib/DA/Exception/index.js

@@ -0,0 +1,9 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+var PreconditionFailed = require('./PreconditionFailed');
+exports.PreconditionFailed = PreconditionFailed;

package/lib/DA/Internal/Down/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Internal/Down/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Internal/Down/module.d.ts

@@ -0,0 +1,17 @@
+// Generated from DA/Internal/Down.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type Down<a> = {
+  unpack: a;
+};
+
+export declare const Down :
+  (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Down<a>>) & {
+};
+

package/lib/DA/Internal/Down/module.js

@@ -0,0 +1,25 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable-next-line no-unused-vars */
+var jtv = require('@mojotech/json-type-validation');
+/* eslint-disable-next-line no-unused-vars */
+var damlTypes = require('@daml/types');
+/* eslint-disable-next-line no-unused-vars */
+var damlLedger = require('@daml/ledger');
+
+
+exports.Down = function (a) { return ({
+  decoder: damlTypes.lazyMemo(function () { return jtv.object({unpack: a.decoder, }); }),
+  encode: function (__typed__) {
+  return {
+    unpack: a.encode(__typed__.unpack),
+  };
+}
+,
+}); };
+

package/lib/DA/Logic/Types/index.d.ts

@@ -0,0 +1 @@
+export * from './module';

package/lib/DA/Logic/Types/index.js

@@ -0,0 +1,8 @@
+"use strict";
+/* eslint-disable-next-line no-unused-vars */
+function __export(m) {
+/* eslint-disable-next-line no-prototype-builtins */
+    for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
+}
+Object.defineProperty(exports, "__esModule", { value: true });
+__export(require('./module'));

package/lib/DA/Logic/Types/module.d.ts

@@ -0,0 +1,20 @@
+// Generated from DA/Logic/Types.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';
+/* eslint-disable-next-line @typescript-eslint/no-unused-vars */
+import * as damlLedger from '@daml/ledger';
+
+export declare type Formula<a> =
+  |  { tag: 'Proposition'; value: a }
+  |  { tag: 'Negation'; value: Formula<a> }
+  |  { tag: 'Conjunction'; value: Formula<a>[] }
+  |  { tag: 'Disjunction'; value: Formula<a>[] }
+;
+
+export declare const Formula :
+  (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Formula<a>>) & {
+};
+