Trait adapton::catalog::collections::trie::SetIntro

pub trait SetIntro<X>: Debug + Hash + PartialEq + Eq + Clone + 'static {
    fn empty() -> Self;
    fn add(_: Self, e: X) -> Self;
}

Required methods

fn empty() -> Self

fn add(_: Self, e: X) -> Self

Loading content...

Implementors

impl<X, Set: TrieIntro<X> + TrieElim<X>> SetIntro<X> for Set

fn empty() -> Self

fn add(set: Self, elt: X) -> Self

Loading content...