To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package fstar
-
fstarlib
-
fstartaclib
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