Constraint

struct Constraint {
    /// SCOPE_CONTEXT or SCOPE_CALLDATA.
    uint8 scope;
    /// BE16-encoded path to the target value. A `Path.ALL` or `Path.ANY` step stands for each element of an array.
    bytes path;
    /// Encoded operators. Each item = opCode(1) || data.
    bytes[] operators;
    /// Most negative operand of an equality, comparison or set operator, or zero if none.
    int256 leastNegativeOperand;
    /// Greatest operand of an equality, comparison or set operator, or zero if none.
    uint256 greatestOperand;
}

function msgSender() pure returns (Constraint memory);

function msgValue() pure returns (Constraint memory);

function blockTimestamp() pure returns (Constraint memory);

function blockNumber() pure returns (Constraint memory);

function chainId() pure returns (Constraint memory);

function txOrigin() pure returns (Constraint memory);

function baseFee() pure returns (Constraint memory);

function gasPrice() pure returns (Constraint memory);

function arg(uint16 p0) pure returns (Constraint memory);

function arg(uint16 p0, uint16 p1) pure returns (Constraint memory);

function arg(uint16 p0, uint16 p1, uint16 p2) pure returns (Constraint memory);

function arg(uint16 p0, uint16 p1, uint16 p2, uint16 p3) pure returns (Constraint memory);

function arg(bytes memory path) pure returns (Constraint memory);

function eq(Constraint memory constraint, uint256 value) internal pure returns (Constraint memory);

function neq(Constraint memory constraint, uint256 value) internal pure returns (Constraint memory);

function gt(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lt(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function gte(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lte(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function between(Constraint memory constraint, uint256 min, uint256 max) internal pure returns (Constraint memory);

function eq(Constraint memory constraint, int256 value) internal pure returns (Constraint memory);

function neq(Constraint memory constraint, int256 value) internal pure returns (Constraint memory);

function gt(Constraint memory constraint, int256 bound) internal pure returns (Constraint memory);

function lt(Constraint memory constraint, int256 bound) internal pure returns (Constraint memory);

function gte(Constraint memory constraint, int256 bound) internal pure returns (Constraint memory);

function lte(Constraint memory constraint, int256 bound) internal pure returns (Constraint memory);

function between(Constraint memory constraint, int256 min, int256 max) internal pure returns (Constraint memory);

function eq(Constraint memory constraint, address value) internal pure returns (Constraint memory);

function neq(Constraint memory constraint, address value) internal pure returns (Constraint memory);

function eq(Constraint memory constraint, bytes32 value) internal pure returns (Constraint memory);

function neq(Constraint memory constraint, bytes32 value) internal pure returns (Constraint memory);

function eq(Constraint memory constraint, bool value) internal pure returns (Constraint memory);

function neq(Constraint memory constraint, bool value) internal pure returns (Constraint memory);

function isIn(Constraint memory constraint, address[] memory values) internal pure returns (Constraint memory);

function notIn(Constraint memory constraint, address[] memory values) internal pure returns (Constraint memory);

function isIn(Constraint memory constraint, bytes32[] memory values) internal pure returns (Constraint memory);

function notIn(Constraint memory constraint, bytes32[] memory values) internal pure returns (Constraint memory);

function isIn(Constraint memory constraint, uint256[] memory values) internal pure returns (Constraint memory);

function notIn(Constraint memory constraint, uint256[] memory values) internal pure returns (Constraint memory);

function isIn(Constraint memory constraint, int256[] memory values) internal pure returns (Constraint memory);

function notIn(Constraint memory constraint, int256[] memory values) internal pure returns (Constraint memory);

function lengthEq(Constraint memory constraint, uint256 length) internal pure returns (Constraint memory);

function lengthGt(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lengthLt(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lengthGte(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lengthLte(Constraint memory constraint, uint256 bound) internal pure returns (Constraint memory);

function lengthBetween(
    Constraint memory constraint,
    uint256 min,
    uint256 max
)
    internal
    pure
    returns (Constraint memory);

function bitmaskAll(Constraint memory constraint, uint256 mask) internal pure returns (Constraint memory);

function bitmaskAny(Constraint memory constraint, uint256 mask) internal pure returns (Constraint memory);

function bitmaskNone(Constraint memory constraint, uint256 mask) internal pure returns (Constraint memory);

function eqCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function neqCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function gtCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function ltCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function gteCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function lteCtx(Constraint memory constraint, uint16 contextPropertyId) internal pure returns (Constraint memory);

function addOp(Constraint memory constraint, uint8 op, bytes memory data)
    internal
    pure
    returns (Constraint memory);

error InvalidRange();

error EmptySet();

error UnknownContextProperty(uint16 contextPropertyId);