| Source File | Identifier index | Theory binding index |
|---|
signature smlTimeout =
sig
include Abbrev
exception FunctionTimeout
val interruptkill : Thread.thread -> unit
val timeout : real -> ('a -> 'b) -> 'a -> 'b
end
| Source File | Identifier index | Theory binding index |
|---|