pub fn infer<T: Symbol>( solver: Solver<'_, Expr<T>, Accelerator<T>>, facts: &[Expr<T>]) -> Option<Expr<T>>
Specifies inference rules for monotonic solver.