Soteria_std.Foldable
A foldable interface for uniform iteration over different container types.
module type S = sig ... end
module List : S with type 'a t = 'a list
module Option : S with type 'a t = 'a option
module Iter : S with type 'a t = 'a Iter.t
module Seq : S with type 'a t = 'a Soteria_std.Seq.t