def loopback.colon

ezmcp@0.1.0.0 · src/web.bend:78

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

78# a port's digits after a colon
79def loopback.colon(tail: String, colon: Bool) -> Bool:
80  match colon:
81    case True{}:
82      Rpc.digits(tail)
83    case False{}:
84      False{}