Module Access


module Access: sig .. end
Objects through which predicate extents are accessed.


Support of Modifiable States

module Store: sig .. end

Access Objects

module Writer: sig .. end
module Reader: sig .. end