Structure Nonce

Source File	Identifier index	Theory binding index

signature Nonce =
sig

  eqtype 'a t
  val mk : 'a -> 'a t
  val dest : 'a t -> 'a

end

Source File	Identifier index	Theory binding index