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.