Make.Forward
val check : threshold:float -> f:(AD.t -> AD.t) -> directions:AD.t array -> AD.t array -> bool * int