Structure Uref


Source File Identifier index Theory binding index

signature Uref =
sig

  datatype t = datatype ref
  val new : 'a -> 'a t
  val := : 'a t * 'a -> unit
  val ! : 'a t -> 'a

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13