Module Make.Reverse

val check : threshold:float -> order:[ `second | `fourth | `eighth ] -> ?verbose:bool -> ?eps:float -> f:(AD.t -> AD.t) -> directions:AD.t array -> AD.t array -> bool * int