Function monotonic_solver::solve

pub fn solve<T: Clone + PartialEq + Eq + Hash>(
    start: &[T], 
    goal: &[T], 
    max_size: Option<usize>, 
    filter: &[T], 
    order_constraints: &[(T, T)], 
    infer: fn(_: Solver<'_, T>, story: &[T]) -> Option<T>
) -> (Vec<T>, Result<(), Error>)

Solves without reducing.