$num function

num $num(
  1. Object? v,
  2. String path
)

Reads a number.

Implementation

num $num(Object? v, String path) =>
    v is num ? v : throw _wrong(path, 'number', v);