Functor Datatype.Weak

module Weak: 
functor (W : Sub_caml_weak_hashtbl) ->
functor (D : S with type t = W.data) -> S with type t = W.t
Parameters:
W : Sub_caml_weak_hashtbl
D : S with type t = W.data

include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x and copy x.