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 sw = FStar_Integers.signed_widthtype ('sl, 'l, 's) secret_int =
(Prims.unit, Prims.unit, Obj.t) FStar_IFC.protectedval promote :
Prims.unit ->
Prims.unit ->
sw ->
(Prims.unit, Prims.unit, Prims.unit) secret_int ->
Prims.unit ->
(Prims.unit, Prims.unit, Prims.unit) secret_intval uu___is_Secret : qual -> Prims.boolval uu___is_Public : qual -> Prims.boolval __proj__Public__item__sw : qual -> FStar_Integers.signed_widthval sw_qual : qual -> FStar_Integers.signed_widthtype 'q t = Obj.tval as_secret :
qual ->
Obj.t ->
(Prims.unit, Prims.unit, Prims.unit) secret_int