def Spans.height
import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRulesimport Base
52def Spans.height(t: Spans) -> U32:
53 match t:
54 case SLeaf{}:
55 0
56 case SNode{h, l, b, e, r}:
57 h
import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRulesimport Base
52def Spans.height(t: Spans) -> U32:
53 match t:
54 case SLeaf{}:
55 0
56 case SNode{h, l, b, e, r}:
57 h