Type Alias AtomCtx 

pub type AtomCtx = Term<IdentCtx, LitVal, Infallible>;

Aliased Type

pub enum AtomCtx {
    Var(IdentCtx),
    Lit(LitVal),
    Cons(Infallible, Vec<Term<IdentCtx, LitVal, Infallible>>),
}

Variants

Var(IdentCtx)

Lit(LitVal)

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