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 (!'st, !'a) regional = | Rgl of 'st * Prims.unit * Prims.unit * 'a * Prims.unit * Prims.unit * Prims.unit * Prims.unit * Prims.unit * Prims.unit * Prims.unit * 'st -> Prims.unit -> 'a * 'st -> 'a -> Prims.unit
val uu___is_Rgl : ('st, 'a) regional -> Prims.boolval __proj__Rgl__item__state : ('st, 'a) regional -> 'stval __proj__Rgl__item__dummy : ('st, 'a) regional -> 'aval __proj__Rgl__item__r_alloc : ('st, 'a) regional -> 'st -> Prims.unit -> 'aval __proj__Rgl__item__r_free : ('st, 'a) regional -> 'st -> 'a -> Prims.unittype ('a, 'rst, 'rg, 'uuuuu, 'uuuuu1) rg_inv = Obj.tval rg_dummy : ('rst, 'a) regional -> 'aval rg_alloc : ('rst, 'a) regional -> Prims.unit -> 'aval rg_free : ('rst, 'a) regional -> 'a -> Prims.unit