val hd : 'a t -> 'aval length : _ t -> intval singleton : 'a -> 'a tval cons : 'a -> 'a list -> 'a tval init : int -> f:(int -> 'a) -> 'a tval filter : 'a t -> f:('a -> bool) -> 'a listval filter_map : 'a t -> f:('a -> 'b option) -> 'b listval iter : 'a t -> f:('a -> unit) -> unitval fold : 'a t -> init:'c -> f:('c -> 'a -> 'c) -> 'cval fold_right : 'a t -> init:'c -> f:('a -> 'c -> 'c) -> 'cval reduce : 'a t -> f:('a -> 'a -> 'a) -> 'aval to_list : 'a t -> 'a listval of_list : 'a list -> 'a t optionval of_list_exn : 'a list -> 'a tval for_all : 'a t -> f:('a -> bool) -> boolval exists : 'a t -> f:('a -> bool) -> bool