~/jendhub

def node.push

gralha-coverage@0.1.0.1 · cover.bend:1086

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

1086def node.push(n: Node, h: Halves, top: Bool) -> Node:
1087  Node{flat, value, tl, tr, bl, br} = n
1088  Halves{v, left, right} = h
1089  match top:
1090    case True{}: Node{flat, tree.same.as(value, v), Con{left, tl}, Con{right, tr}, bl, br}
1091    case False{}: Node{flat, tree.same.as(value, v), tl, tr, Con{left, bl}, Con{right, br}}

Uses (5)

Used by (1)