~/jendhub

def trie.get

bend-kit-regex@0.8.0.0 · regex.bend:671

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

671# here: n is 1. left: n is even.
672def trie.get(-V: Data, t: Trie<V>, here: Bool, left: Bool, +n: U32) -> Maybe<&2, V>:
673  match t:
674    case TTip{}:
675      None{}
676    case TNode{v, lo, hi}:
677      match here:
678        case True{}:
679          v
680        case False{}:
681          match left:
682            case True{}:
683              trie.get(V, lo, U32.is_eq(U32.shr(n), 1), U32.is_even(U32.shr(n)), U32.shr(n))
684            case False{}:
685              trie.get(V, hi, U32.is_eq(U32.shr(n), 1), U32.is_even(U32.shr(n)), U32.shr(n))

Uses (7)

Used by (1)