module Fcl_data: sig .. end
sig
end
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.