signature tttTimeout = sig exception TacTimeOut val timeOut : real -> ('a -> 'b) -> 'a -> 'b end
HOL 4, Kananaskis-11