Module Hash_set_intf


module Hash_set_intf: sig .. end
strict_add fails if element is already there

module List: StdLabels.List
module type Types = sig .. end
module Gen: 
functor (T : Types) -> sig .. end
module type S = sig .. end
module type S_binable = sig .. end
module type S1 = sig .. end
module Check_S: 
functor (M : S) -> M
module Check_S1: 
functor (M : S1) -> M