Module Foldable

module Foldable: sig .. end

module type Basic = sig .. end

module type S = sig .. end

module Make: 
functor (F : Basic) -> S  with type 'a t := 'a F.t

module type M = sig .. end

module type M2 = sig .. end

module type M3 = sig .. end