def ascend_choice

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:307

import Base

307def ascend_choice(x: Nat, p: Nat, q: Nat, found: Bool) -> Ascend:
308  match found:
309    case True{}:
310      Ascend{0n, p, True{}}
311    case False{}:
312      Ascend{x, q, False{}}