module Data: sig
.. end
Bactrackable Data Structures
This module provides "efficient" backtrackable data structures,
i.e. with incremental setting and trailing.
module Array: sig
.. end
Bactrackable arrays.
module Hashtbl: sig
.. end
Bactrackable hashtables.