Structure ThreadLocal

Source File	Identifier index	Theory binding index

signature ThreadLocal =
sig

  type 'a t
  val new : unit -> 'a t
  val get : 'a t -> 'a option
  val set : 'a t * 'a -> unit

end

Source File	Identifier index	Theory binding index