avalog
pub fn inner<T>(a: T) -> Expr where T: Into<Expr>,
Constructs an inner expression e.g. .p'(a) = a.
.p'(a) = a