type ro = Message.rotype rw = Message.rwtype (!'cap, !'a, !'arr) t = ('cap, 'a, 'arr) InnerArray.tval length : ('cap, 'a, 'arr) t -> intval get : ('cap, 'a, 'arr) t -> int -> 'aval mem : ?equal:('a -> 'a -> bool) -> ('cap, 'a, 'arr) t -> 'a -> boolval is_empty : ('cap, 'a, 'arr) t -> boolval iter : ('cap, 'a, 'arr) t -> f:('a -> unit) -> unitval iteri : ('cap, 'a, 'arr) t -> f:(int -> 'a -> unit) -> unitval fold : ('cap, 'a, 'arr) t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'accval fold_right :
('cap, 'a, 'arr) t ->
f:('a -> 'acc -> 'acc) ->
init:'acc ->
'accval foldi :
('cap, 'a, 'arr) t ->
init:'acc ->
f:(int -> 'acc -> 'a -> 'acc) ->
'accval foldi_right :
('cap, 'a, 'arr) t ->
f:(int -> 'a -> 'acc -> 'acc) ->
init:'acc ->
'accval exists : ('cap, 'a, 'arr) t -> f:('a -> bool) -> boolval forall : ('cap, 'a, 'arr) t -> f:('a -> bool) -> boolval count : ('cap, 'a, 'arr) t -> f:('a -> bool) -> intval find : ('cap, 'a, 'arr) t -> f:('a -> bool) -> 'a optionval find_map : ('cap, 'a, 'arr) t -> f:('a -> 'b option) -> 'b optionval to_list : ('cap, 'a, 'arr) t -> 'a listval to_array : ('cap, 'a, 'arr) t -> 'a arrayval map_array : ('cap, 'a, 'arr) t -> f:('a -> 'b) -> 'b arrayval map_list : ('cap, 'a, 'arr) t -> f:('a -> 'b) -> 'b list