Structure Timeout

Source File	Identifier index	Theory binding index

signature Timeout =
sig
  exception TIMEOUT of Time.time
  val apply: Time.time -> ('a -> 'b) -> 'a -> 'b
end

Source File	Identifier index	Theory binding index