avalog
pub fn bind( e: &Expr, a: &Expr, vs: &mut Vec<(Arc<String>, Expr)>, tail: &mut Vec<Expr>) -> bool
Bind a to pattern e.
a
e