@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
13 lines (12 loc) • 523 B
TypeScript
export declare const PBound: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
PBound: {
bound: import("../../../type_system/types.js").StructT<{
PNegInf: {};
PFinite: {
n: [import("../../../type_system/types.js").PrimType.Int];
};
PPosInf: {};
}, import("../../../type_system/types.js").Methods>;
inclusive: [import("../../../type_system/types.js").PrimType.Bool];
};
}, import("../../../type_system/types.js").Methods>;