validateSolidityTypeInstance function
Implementation
void validateSolidityTypeInstance(BigInt value, SolidityType solidityType) {
invariant(value >= BigInt.zero, '$value is not a solidityType.');
invariant(value <= MaxUint256, '$value is not a solidityType.');
}