Functor Datatype.Quadruple_with_collections

module Quadruple_with_collections: 
functor (T1 : S-> 
functor (T2 : S-> 
functor (T3 : S-> 
functor (T4 : S-> 
functor (Info : Functor_info-> S_with_collections with type t = T1.t * T2.t * T3.t * T4.t
Parameters:
T1 : S
T2 : S
T3 : S
T4 : S
Info : Functor_info

include Datatype.S
module Set: Datatype.Set  with type elt = t
module Map: Datatype.Map  with type key = t
module Hashtbl: Datatype.Hashtbl  with type key = t