Module `Space.Sequence`

type 'a element = 'a list

Variable-length homogeneous sequence.

val create : ?min_length:int -> ?max_length:int -> 'a t -> 'a element t

create ?min_length ?max_length s is a sequence space over s. min_length defaults to 0. When max_length is provided, sampling draws a uniform length in [min_length; max_length]; otherwise the sampler returns sequences of length min_length.

Raises Invalid_argument if min_length < 0 or max_length < min_length.