{
    "Function": "subNoNeg",
    "File": "contracts/math/SafeInt256.sol",
    "Parent Contracts": [],
    "High-Level Calls": [],
    "Internal Calls": [
        "require(bool)",
        "sub"
    ],
    "Library Calls": [],
    "Low-Level Calls": [],
    "Code": "function subNoNeg(int256 x, int256 y) internal pure returns (int256 z) {\n        z = sub(x, y);\n        require(z >= 0); // dev: int256 sub to negative\n\n        return z;\n    }"
}