crdt_util
IList
Helper List library that supports dynamic padding for higher-order functions operating on lists of different length.
crdt
crdt_immutable
crdt_mutable
val incr_nth : int list -> int -> int list
incr_nth l n adds one to the nth element of l.
incr_nth l n
n
val fill_map2 : (int -> int -> int) -> int list -> int list -> int list
fill_map2 f l l' padds with zeros the smaller list before applying f.
fill_map2 f l l'
f
val fill_fold_left2 : (int -> int -> int -> int) -> int -> int list -> int list -> int
fill_fold_left2 f l l' padds with zeros the smaller list before applying f.
fill_fold_left2 f l l'