val validate_list :
(([> `Index of int ] as 'a) list -> 'b -> 'c option) ->
'a list ->
'b list ->
'c optionval validate_array :
(([> `Index of int ] as 'a) list -> 'b -> 'c option) ->
'a list ->
'b array ->
'c optionval validate_option : ('a -> 'b -> 'c option) -> 'a -> 'b option -> 'c option