~/jendhub

def after.dot

yaml-for-bend@0.1.1.0 · num.bend:176

import yaml-for-bend@0.1.1.0/num.bend as Num
import Base

176def after.dot(s: String) -> String:
177  match s:
178    case SNil{}:
179      ""
180    case SCon{c, t}:
181      match c:
182        case '.':
183          t
184        case _:
185          after.dot(t)

Uses (6)

Used by (1)