module Weak: module type of Weak with type 'a t := 'a Weak.t
module type of Weak
with type 'a t := 'a Weak.t