Module type Data.S_collection

module type S_collection = sig .. end

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