fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
val n : Prims.int
type t =
  1. | Mk of Prims.unit FStar_Int.int_t
val uu___is_Mk : t -> Prims.bool
val __proj__Mk__item__v : t -> Prims.unit FStar_Int.int_t
val int_to_t : Prims.unit FStar_Int.int_t -> t
val zero : t
val one : 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 logand : t -> t -> t
val logxor : t -> t -> t
val logor : t -> t -> t
val lognot : t -> t
val shift_right : t -> FStar_UInt32.t -> t
val shift_left : t -> FStar_UInt32.t -> t
val shift_arithmetic_right : t -> FStar_UInt32.t -> t
val eq : t -> t -> Prims.bool
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_Slash_Hat : t -> t -> t
val op_Percent_Hat : t -> t -> t
val op_Hat_Hat : t -> t -> t
val op_Amp_Hat : t -> t -> t
val op_Bar_Hat : t -> t -> t
val op_Less_Less_Hat : t -> FStar_UInt32.t -> t
val op_Greater_Greater_Hat : t -> FStar_UInt32.t -> t
val op_Greater_Greater_Greater_Hat : t -> FStar_UInt32.t -> t
val op_Equals_Hat : t -> t -> Prims.bool
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 ct_abs : t -> t
val to_string : t -> Prims.string
val of_string : Prims.string -> t
val __int_to_t : Prims.int -> t
val mul_wide : FStar_Int64.t -> FStar_Int64.t -> t