UNPKG

@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
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>;