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