Module Clarity_list

module Clarity_list: sig .. end

type 'a t = 'a list 

val _Cons : 'a -> 'a list -> 'a list

val _Nil : 'a list

val iter : ('a -> unit) -> 'a t -> unit

val append : 'a t -> 'a t -> 'a t

val length : 'a t -> int

val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t

val filter : ('a -> bool) -> 'a t -> 'a t

val intersperse : 'a -> 'a list -> 'a list

val rev : 'a t -> 'a t

val rev_append : 'a t -> 'a t -> 'a t

val rev_map : ('a -> 'b) -> 'a t -> 'b t

val rev_mapi : (int -> 'a -> 'b) -> 'a t -> 'b t

val sort : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t

include Monad.S

include Foldable.S

include Align.S

module A: 
functor (A : Applicative.Basic) -> Traversable.S  with
  type 'a t := 'a t and
  type 'a f := 'a A.t

module A2: 
functor (A : Applicative.Basic2) -> Traversable.S2  with
  type 'a t := 'a t and
  type ('u, 'a) f := ('u, 'a) A.t

module A3: 
functor (A : Applicative.Basic3) -> Traversable.S3  with
  type 'a t := 'a t and
  type ('u, 'v, 'a) f := ('u, 'v, 'a) A.t

module M: 
functor (M : Monad.Basic) -> sig .. end

module M2: 
functor (M : Monad.Basic2) -> sig .. end

module M3: 
functor (M : Monad.Basic3) -> sig .. end