Type Alias AtomVal 

pub type AtomVal<V = Ident> = Term<V, LitVal, Infallible>;

Aliased Type

pub enum AtomVal<V = Ident> {
    Var(V),
    Lit(LitVal),
    Cons(Infallible, Vec<Term<V, LitVal, Infallible>>),
}

Variants

Var(V)

Lit(LitVal)

Cons(Infallible, Vec<Term<V, LitVal, Infallible>>)