To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package fstar
-
fstarlib
-
fstartaclib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type rid = Prims.unittype hmap = (Prims.unit, FStar_Monotonic_Heap.heap) FStar_Map.tval mod_set : Prims.unit FStar_Set.set -> Prims.unit FStar_Set.settype ('s, 'm0, 'm1) modifies = Prims.unittype ('s, 'm0, 'm1) modifies_just = Prims.unittype ('r, 'm0, 'm1) modifies_one = Prims.unittype ('s, 'm0, 'm1) equal_on = Prims.unittype ('s1, 's2) disjoint_regions = Prims.unittype ('r, 'n, 'c, 'freeable, 's) extend_post = Prims.unit