@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
12 lines (11 loc) • 595 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.pchooseUnit = void 0;
var IRNative_1 = require("../../../IR/IRNodes/IRNative/index.js");
var Term_1 = require("../../Term/index.js");
var type_system_1 = require("../../type_system/index.js");
var addApplications_1 = require("./addApplications.js");
function pchooseUnit(returnT) {
return (0, addApplications_1.addApplications)(new Term_1.Term((0, type_system_1.fn)([type_system_1.unit, returnT], returnT), function (_dbn) { return IRNative_1.IRNative.chooseUnit; }));
}
exports.pchooseUnit = pchooseUnit;