poi
pub fn constr2<A: Into<Expr>, B: Into<Expr>, C: Into<Expr>>( a: A, b: B, c: C) -> Expr
A function domain constraint with two arguments.