avalog
pub fn has<T, U>(a: T, b: U) -> Expr where T: Into<Expr>, U: Into<Expr>,
Constructs a "has" expression e.g. p(a) => b.
p(a) => b