CPSolver.Utils.MutableArray (Fixpoint v0.10.5)

Summary

Functions

array_add(ref, zb_index, value)

array_get(ref, zb_index)

array_size(ref)

array_update(ref, zb_index, value)

new(arity)

swap(array, index1, index2)

to_array(ref, fun \\ fn _i, val -> val end)