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, 'r, 'len, 'b, 'h0, 'h1, 's) rcreate_post_mem_common = Prims.unitval rfree : 'a LowStar_Buffer.buffer -> Prims.unitval rcreate : Prims.unit -> 'a -> FStar_UInt32.t -> 'a LowStar_Buffer.bufferval rcreate_mm : Prims.unit -> 'a -> FStar_UInt32.t -> 'a LowStar_Buffer.bufferval create : 'a -> FStar_UInt32.t -> 'a LowStar_Buffer.buffertype ('a, 'init) createL_pre = Prims.unitval createL : 'a Prims.list -> 'a LowStar_Buffer.buffer