~/jendhub

def depth_to.up

bolt@1.27.0.0 · src/syntax/tree.bend:189

import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import Base

189# one more group above the one found below, when one was
190def depth_to.up(below: Nat) -> Nat:
191  match below:
192    case Zero{}:
193      0n
194    case Succ{p}:
195      Succ{Succ{p}}

Uses (1)

Used by (1)