pub fn bounded_conversion(e1: &Expr, e2: &Expr, max_depth: usize) -> ConvResultExpand description
Bounded depth search for convertibility.
pub fn bounded_conversion(e1: &Expr, e2: &Expr, max_depth: usize) -> ConvResultBounded depth search for convertibility.