fn nil(_: BS) -> Self
fn leaf(_: BS, _: X) -> Self
fn bin(_: BS, _: Self, _: Self) -> Self
fn root(_: Meta, _: Self) -> Self
fn name(_: Name, _: Self) -> Self
fn art(_: Art<Self>) -> Self
fn empty(_: Meta) -> Self
fn singleton(_: Meta, _: Name, _: X) -> Self
fn extend(_: Name, _: Self, _: X) -> Self
impl<X: Debug + Hash + PartialEq + Eq + Clone + 'static> TrieIntro<X> for Trie<X>
[src]fn nil(bs: BS) -> Self
[src]fn leaf(bs: BS, x: X) -> Self
[src]fn bin(bs: BS, l: Self, r: Self) -> Self
[src]fn root(meta: Meta, trie: Self) -> Self
[src]fn name(nm: Name, trie: Self) -> Self
[src]fn art(art: Art<Self>) -> Self
[src]fn empty(meta: Meta) -> Self
[src]fn singleton(meta: Meta, nm: Name, elt: X) -> Self
[src]fn extend(nm: Name, trie: Self, elt: X) -> Self
[src]