Structure tttTimeout

Source File	Identifier index	Theory binding index

signature tttTimeout =
sig

  exception TacTimeOut
  val timeOut : real -> ('a -> 'b) -> 'a -> 'b

end

Source File	Identifier index	Theory binding index