Sourceval build_array : 'a -> ('a -> 'a) -> int -> 'a array Sourceval read_vector : int -> (bytes -> 'a) -> int -> string -> 'a list Sourceval export_vector : ('a -> bytes) -> 'a list -> string -> unit Sourceval list_expand_transcript : 'a Repr.t -> 'a list -> bytes -> bytes Sourceval expand_transcript : 'a Repr.t -> 'a -> bytes -> bytes Sourceval pad : 'a array -> int -> 'a array Sourceval array_resize : 'a array -> int -> 'a array