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

val log_2 : Prims.pos -> Prims.nat

val powx : Prims.int -> Prims.nat -> Prims.int

val abs : Prims.int -> Prims.int

val max : Prims.int -> Prims.int -> Prims.int

val min : Prims.int -> Prims.int -> Prims.int

val div : Prims.int -> Prims.pos -> Prims.int

val div_non_eucl : Prims.int -> Prims.pos -> Prims.int

val shift_left : Prims.int -> Prims.nat -> Prims.int

val arithmetic_shift_right : Prims.int -> Prims.nat -> Prims.int

val signed_modulo : Prims.int -> Prims.pos -> Prims.int

val op_Plus_Percent : Prims.int -> Prims.pos -> Prims.int