def ind

cswap-bend-cli@0.1.0.0 · fmt/yamlw.bend:33

import Base

33# The indent of a container's lines.
34def ind(+k: Ctx, +d: Nat) -> Nat:
35  match k:
36    case CTop{}:
37      d
38    case _:
39      Nat.add(d, 2n)