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.');
}