@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) • 517 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.pBool = void 0;
var IRConst_1 = require("../../../../IR/IRNodes/IRConst.js");
var Term_1 = require("../../../Term/index.js");
var type_system_1 = require("../../../type_system/index.js");
var TermBool_1 = require("../UtilityTerms/TermBool.js");
function pBool(b) {
return (0, TermBool_1.addPBoolMethods)(new Term_1.Term(type_system_1.bool, function (_dbn) { return IRConst_1.IRConst.bool(b); }, true));
}
exports.pBool = pBool;