key
as IntReturn null
if no option with that key
or if value is not an Int.
# Get option value for `key` as Int
#
# Return `null` if no option with that `key` or if value is not an Int.
fun opt_int(key: String): nullable Int do
if not has_key(key) then return null
var value = self[key]
if not value.is_int then return null
return value.to_i
end
src/doc/commands/commands_parser.nit:422,2--430,4