def loopback.at

ezmcp@0.1.0.0 · src/web.bend:94

import Base

94# a host of n chars that is a loopback name, then a port
95def loopback.at(+after: String, num: Nat, hit: Bool) -> Bool:
96  match hit:
97    case True{}:
98      loopback.port(String.drop(after, num))
99    case False{}:
100      False{}