def id.num

import ezmcp@0.1.0.0/src/rpc.bend as Rpc

import Base

84def id.num(meth: Maybe<&2, String>) -> Bool:
85  match meth:
86    case None{}:
87      False{}
88    case Some{raw}:
89      int.text(raw)

Uses (4)

Bool
String
Maybe
ezmcp@0.1.0.0/src/rpc:int.text

Used by (1)

ezmcp@0.1.0.0/src/rpc:id.str