def dots.push

bend-net-url@0.4.0.0 · url.bend:398

import Base

398def dots.push(seg: String, stack: List<&2, String>, dot: Bool, up: Bool) -> List<&2, String>:
399  match dot:
400    case True{}:
401      stack
402    case False{}:
403      match up:
404        case True{}:
405          dots.pop(stack)
406        case False{}:
407          Con{seg, stack}