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
Since Nitrogen-20111001
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