module FStar.Monotonic.Map

fsdoc: no-summary-found

A library for monotonic references to partial, dependent maps, with a whole-map invariant