| Source File | Identifier index | Theory binding index |
|---|
signature smlTimeout =
sig
include Abbrev
exception FunctionTimeout
val timeout : real -> ('a -> 'b) -> 'a -> 'b
val timeout_tactic : real -> tactic -> goal -> goal list option
end
| Source File | Identifier index | Theory binding index |
|---|