Moduleplutus-core-1.70.0.0
PlutusCore.StdLib.Data.Integer
- 2 values
- Packageplutus-core-1.70.0.0
- Exports2
- LicenceApache-2.0
value
succInteger :: (TermLike term tyname Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()