package fstar

You can search for identifiers within the package.

in-package search v0.2.0

fstar.lib

Legend:
Library
Module
Module type
Parameter
Class
Class type

val op_Array_Access : 
  Prims.unit ->
  ('a, 'rrel, 'rel) LowStar_Monotonic_Buffer.mbuffer ->
  FStar_UInt32.t ->
  'a

val op_Array_Assignment : 
  ('a, 'rrel, 'rel) LowStar_Monotonic_Buffer.mbuffer ->
  FStar_UInt32.t ->
  'a ->
  Prims.unit

val op_Bang_Star : ('a, 'rrel, 'rel) LowStar_Monotonic_Buffer.mbuffer -> 'a

val op_Star_Equals : 
  ('a, 'rrel, 'rel) LowStar_Monotonic_Buffer.mbuffer ->
  'a ->
  Prims.unit

val blit : 
  Prims.unit ->
  ('a, 'rrel1, 'rrel2) LowStar_Monotonic_Buffer.mbuffer ->
  FStar_UInt32.t ->
  ('a, 'rel1, 'rel2) LowStar_Monotonic_Buffer.mbuffer ->
  FStar_UInt32.t ->
  FStar_UInt32.t ->
  Prims.unit