Constraint

struct Constraint {
    /// SCOPE_CONTEXT or SCOPE_CALLDATA.
    uint8 scope;
    /// BE16-encoded path to the target value.
    bytes path;
    /// Encoded operators. Each item = opCode(1) || data.
    bytes[] operators;
    /// Most negative operand of an equality, comparison or set operator; zero if none.
    int256 leastNegativeOperand;
    /// Greatest operand of an equality, comparison or set operator; zero if none.
    uint256 greatestOperand;
    /// Compiled hint block as carried on the wire; empty when the constraint has no encoding.
    bytes hint;
}

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 c, uint256 value) internal pure returns (Constraint memory);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

error InvalidRange();

error EmptySet();

error SetTooLarge();

error UnknownContextProperty(uint16 contextPropertyId);