Up
–
coq-core
» Interrupted
Module
Interrupted
val
is_interrupted : unit
->
bool