package fstar

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type rid = Prims.unit

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

val mod_set : Prims.unit FStar_Set.set -> Prims.unit FStar_Set.set

type ('s, 'm0, 'm1) modifies = Prims.unit

type ('s, 'm0, 'm1) modifies_just = Prims.unit

type ('r, 'm0, 'm1) modifies_one = Prims.unit

type ('s, 'm0, 'm1) equal_on = Prims.unit

type ('s1, 's2) disjoint_regions = Prims.unit

type ('r, 'n, 'c, 'freeable, 's) extend_post = Prims.unit