package fstar
-
fstar.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'h, 'r) contains =
('a, Prims.unit, Prims.unit, Prims.unit) FStar_Monotonic_Heap.containstype ('a, 'r, 'h) unused_in =
('a, Prims.unit, Prims.unit, Prims.unit) FStar_Monotonic_Heap.unused_intype ('a, 'r, 'h0, 'h1) fresh = Prims.unitval recall : 'uuuuu FStar_ST.ref -> Prims.unitval alloc : 'uuuuu -> 'uuuuu FStar_ST.refval read : 'uuuuu FStar_ST.ref -> 'uuuuuval write : 'uuuuu FStar_ST.ref -> 'uuuuu -> Prims.unitval op_Bang : 'uuuuu FStar_ST.ref -> 'uuuuuval op_Colon_Equals : 'uuuuu FStar_ST.ref -> 'uuuuu -> Prims.unit