ForeignCall

Git Source

Structure used to represent a foreign call that can be made during rule evaluation

struct ForeignCall {
    bool set;
    address foreignCallAddress;
    bytes4 signature;
    PT returnType;
    uint256 foreignCallIndex;
    PT[] parameterTypes;
    uint8[] typeSpecificIndices;
}