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 ('q, 'a) qbuf_cases = Obj.ttype ('q, 'a) q_preorder = Obj.ttype 'a qbuf = (Prims.unit, Obj.t) Prims.dtuple2type ('a, 'c, 'uuuuu, 'uuuuu1) qbuf_pre = Obj.tval qbuf_mbuf :
(Prims.unit, Obj.t) Prims.dtuple2 ->
('a, Obj.t, Obj.t) LowStar_Monotonic_Buffer.mbuffertype 'a const_buffer = 'a qbufval as_qbuf :
(Prims.unit, Obj.t) Prims.dtuple2 ->
(Prims.unit, Obj.t) Prims.dtuple2type ('a, 'h, 'c) live =
('a, Obj.t, Obj.t, Prims.unit, Prims.unit) LowStar_Monotonic_Buffer.liveval of_buffer : 'a LowStar_Buffer.buffer -> 'a const_bufferval of_ibuffer : 'a LowStar_ImmutableBuffer.ibuffer -> 'a const_bufferval of_qbuf :
Prims.unit ->
('uuuuu, Obj.t, Obj.t) LowStar_Monotonic_Buffer.mbuffer ->
'uuuuu const_bufferval null : Prims.unit -> 'a const_bufferval is_null : (Prims.unit, Obj.t) Prims.dtuple2 -> Prims.boolval index : (Prims.unit, Obj.t) Prims.dtuple2 -> FStar_UInt32.t -> 'atype ('a, 'i, 'len, 'csub, 'c) const_sub_buffer = Prims.unitval sub :
(Prims.unit, Obj.t) Prims.dtuple2 ->
FStar_UInt32.t ->
Prims.unit ->
(Prims.unit, Obj.t) Prims.dtuple2val cast :
(Prims.unit, Obj.t) Prims.dtuple2 ->
('a, Obj.t, Obj.t) LowStar_Monotonic_Buffer.mbufferval to_buffer : (Prims.unit, Obj.t) Prims.dtuple2 -> 'a LowStar_Buffer.bufferval to_ibuffer :
(Prims.unit, Obj.t) Prims.dtuple2 ->
'a LowStar_ImmutableBuffer.ibuffer