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