
val map : ('a1 -> 'a2) -> 'a1 list -> 'a2 list

val seq : Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int list

val repeat : 'a1 -> Big_int_Z.big_int -> 'a1 list

val firstn : Big_int_Z.big_int -> 'a1 list -> 'a1 list

val skipn : Big_int_Z.big_int -> 'a1 list -> 'a1 list
