plutus-core-1.54.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Evaluation.Builtins.Integer.OrderProperties

Description

Property tests for the lessThanInteger and lessThanEqualsInteger builtins and their interaction with the arithmetic functions.

Documentation

test_integer_order_properties ∷ TestTree Source #