fstar 2022.01.15 · OCaml Package

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

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