Method
getInt
Returns the value of the given argument as an int. The argument must have a type of INT.
(String arg, int _default)
Source from the content-addressed store, hash-verified
source not stored for this graph (policy: none)
Tested by
no test coverage detected