/examples/14-inductive-data-types-separate-namespaces/output/typescript/
../
.gitignore
package.json
pnpm-lock.yaml
src
tsconfig.json