open Prims
type rid = unit
type hmap = (unit, FStar_Monotonic_Heap.heap) FStar_Map.t



let mod_set (uu___ : unit FStar_Set.set) : unit FStar_Set.set= Prims.magic ()
type ('s, 'm0, 'm1) modifies = unit
type ('s, 'm0, 'm1) modifies_just = unit
type ('r, 'm0, 'm1) modifies_one = unit
type ('s, 'm0, 'm1) equal_on = unit
type ('s1, 's2) disjoint_regions = unit
type ('r, 'n, 'c, 'freeable, 's) extend_post = unit



