package fstar
-
fstar.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val uu___is_W8 : width -> Prims.boolval uu___is_W16 : width -> Prims.boolval uu___is_W32 : width -> Prims.boolval uu___is_W64 : width -> Prims.boolval uu___is_W128 : width -> Prims.boolval uu___is_Winfinite : width -> Prims.boolval nat_of_width : width -> Prims.int FStar_Pervasives_Native.optiontype fixed_width = widthval nat_of_fixed_width : fixed_width -> Prims.intval uu___is_Signed : signed_width -> Prims.boolval __proj__Signed__item___0 : signed_width -> widthval uu___is_Unsigned : signed_width -> Prims.boolval __proj__Unsigned__item___0 : signed_width -> fixed_widthval width_of_sw : signed_width -> widthtype ('sw, 'x) within_bounds = Obj.ttype uint_8 = FStar_UInt8.ttype uint_16 = FStar_UInt16.ttype uint_32 = FStar_UInt32.ttype uint_64 = FStar_UInt64.ttype int = Prims.inttype int_8 = FStar_Int8.ttype int_16 = FStar_Int16.ttype int_32 = FStar_Int32.ttype int_64 = FStar_Int64.ttype int_128 = FStar_Int128.ttype ('sw, 'op, 'x, 'y) ok = Obj.ttype nat = Prims.inttype pos = Prims.intval f_uint_8 : FStar_UInt8.t -> FStar_UInt8.t -> FStar_UInt8.tval f_int_16 : FStar_Int16.t -> FStar_Int16.t -> FStar_Int16.tval g : FStar_UInt32.t -> FStar_UInt32.t -> FStar_UInt32.t