Module utils 

Functions

range_of_many1

Vec= 1>

range_of_many1_many

(Vec= 1>, Vec= 0>)

range_of_many1_many1

(Vec= 1>, Vec= 1>)

range_of_many1_range

(Vec= 0>, Range)

range_of_many_many

(Vec= 0>, Vec= 0>)

range_of_many_many1

(Vec= 0>, Vec= 1>)

range_of_many_range

(Vec= 0>, Range)

range_of_optrange_optrange

(Option, Option)

range_of_optrange_range

(Option, Range)

range_of_range_many

(Range, Vec= 0>)

range_of_range_many1

(Range, Vec= 0>)

range_of_range_optrange

(Range, Option)

range_of_range_range

(Range, Range)