Regex.Trie: type of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 665-669 of bend-kit-regex@0.8.0.0/regex.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-regex@0.8.0.0/regex.bend&start_line=665&end_line=669

import Base

# A binary trie keyed by n >= 1: the path is the bits of n below its top bit, low bit
# first, so key n costs log2(n) steps and small keys stay near the root.
type Trie<-V: Data> is Data:
  TTip{}
  TNode{val: Maybe<&2, V>, lo: Trie<V>, hi: Trie<V>}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe