package fstar

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t =

val uu___is_Sz : t -> Prims.bool

val __proj__Sz__item__x : t -> FStar_UInt64.t

type 'x fits = Prims.unit

val v : t -> Prims.nat

val uint_to_t : Prims.nat -> t

type fits_u32 = Prims.unit

type fits_u64 = Prims.unit

val uint16_to_sizet : FStar_UInt16.t -> t

val uint32_to_sizet : FStar_UInt32.t -> t

val uint64_to_sizet : FStar_UInt64.t -> t

val sizet_to_uint32 : t -> FStar_UInt32.t

val sizet_to_uint64 : t -> FStar_UInt64.t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val div : t -> t -> t

val rem : t -> t -> t

val gt : t -> t -> Prims.bool

val gte : t -> t -> Prims.bool

val lt : t -> t -> Prims.bool

val lte : t -> t -> Prims.bool

val op_Plus_Hat : t -> t -> t

val op_Subtraction_Hat : t -> t -> t

val op_Star_Hat : t -> t -> t

val op_Percent_Hat : t -> t -> t

val op_Greater_Hat : t -> t -> Prims.bool

val op_Greater_Equals_Hat : t -> t -> Prims.bool

val op_Less_Hat : t -> t -> Prims.bool

val op_Less_Equals_Hat : t -> t -> Prims.bool

val __uint_to_t : Prims.int -> t