avalog
pub fn role_of<T, U>(a: T, b: U) -> Expr where T: Into<Expr>, U: Into<Expr>,
Constructs a role-of expression, e.g. a : b.
a : b