Module Fcl_data

module Fcl_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.