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
functor (
T1
:
S
) ->
T2
T3
T4
Info
Functor_info
S_with_collections
with type t = T1.t * T2.t * T3.t * T4.t
include Datatype.S
module Set: Datatype.Set with type elt = t
Datatype.Set
with type elt = t
module Map: Datatype.Map with type key = t
Datatype.Map
with type key = t
module Hashtbl: Datatype.Hashtbl with type key = t
Datatype.Hashtbl