sig val consecutive_recent_attempts : Ketrew_pure.Target.State.t -> int end