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
val uu___is_Cpy :
('rst, 'a) LowStar_Regional.regional ->
('rst, 'a, Prims.unit) copyable ->
Prims.boolval __proj__Cpy__item__copy :
('rst, 'a) LowStar_Regional.regional ->
('rst, 'a, Prims.unit) copyable ->
'rst ->
'a ->
'a ->
Prims.unittype (!'a, 'rst, 'rg) rvector = 'a LowStar_Vector.vectortype ('a, 'rst, 'rg, 'h, 'rs, 'i, 'j) rs_elems_inv = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv, 'i, 'j) rv_elems_inv = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv) elems_inv = Prims.unittype ('a, 'rst, 'rg, 'rs, 'prid, 'i, 'j) rs_elems_reg = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv, 'i, 'j) rv_elems_reg = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv) elems_reg = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv) rv_itself_inv = Prims.unittype ('a, 'rst, 'rg, 'h, 'rv) rv_inv = Prims.unitval alloc_empty :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vectorval alloc_ :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
Prims.unitval alloc_rid :
('rst, 'a) LowStar_Regional.regional ->
LowStar_Vector.uint32_t ->
Prims.unit ->
'a LowStar_Vector.vectorval alloc_reserve :
('rst, 'a) LowStar_Regional.regional ->
LowStar_Vector.uint32_t ->
Prims.unit ->
'a LowStar_Vector.vectorval alloc :
('rst, 'a) LowStar_Regional.regional ->
LowStar_Vector.uint32_t ->
'a LowStar_Vector.vectorval insert :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
'a ->
'a LowStar_Vector.vectorval insert_copy :
('rst, 'a) LowStar_Regional.regional ->
('rst, 'a, Prims.unit) copyable ->
'a LowStar_Vector.vector ->
'a ->
'a LowStar_Vector.vectorval assign :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
'a ->
Prims.unitval assign_copy :
('rst, 'a) LowStar_Regional.regional ->
('rst, 'a, Prims.unit) copyable ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
'a ->
Prims.unitval free_elems :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
Prims.unitval flush :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
'a LowStar_Vector.vectorval free_elems_from :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
Prims.unitval shrink :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
LowStar_Vector.uint32_t ->
'a LowStar_Vector.vectorval free :
('rst, 'a) LowStar_Regional.regional ->
'a LowStar_Vector.vector ->
Prims.unit