Function avalog::ava

pub fn ava<T, U>(a: T, b: U) -> Expr where
    T: Into<Expr>,
    U: Into<Expr>, 

Constructs a 1-avatar expression, e.g. p'(a).