package fstar

You can search for identifiers within the package.

in-package search v0.2.0

package fstar

fstar.lib

Legend:
Library
Module
Module type
Parameter
Class
Class type

val n : Prims.int

type t =

| 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 v : t -> Prims.unit FStar_Int.int_t

type 'x fits = Prims.unit

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