Functor Data.Collection

module Collection: 
functor (A : S-> S_collection with type t = A.t
Parameters:
A : S

include Data.S
module Joption: Data.S  with type t = t option
module Jlist: Data.S  with type t = t list
module Jarray: Data.S  with type t = t array