package randii

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Cbrn.Num_uint32_2`Source

Sourcemodule U = Unsigned.UInt32

Sourcetype (_, _) t = U.t

Sourcetype digits = Types.digits_two

Sourcetype word = Types.word_32

Sourceval digits : int

Sourceval of_int : int -> U.t

Sourceval of_string : string -> U.t

Sourceval to_int : U.t -> int

Sourceval to_string : U.t -> string

Sourceval zero : U.t

Sourceval one : U.t

Sourceval max_int : U.t

Sourceval equal : U.t -> U.t -> bool

Sourceval succ : U.t -> U.t

Sourceval pred : U.t -> U.t

Sourceval add : U.t -> U.t -> U.t

Sourceval sub : U.t -> U.t -> U.t

Sourceval rem : U.t -> U.t -> U.t

Sourceval logxor : U.t -> U.t -> U.t

Sourceval skein_ks_parity : U.t

Sourceval rotations_0 : U.t Rotations.t

Sourceval rotations_1 : U.t Rotations.t

Sourceval _31 : U.t

Sourceval _32 : U.t

Sourceval rotL : U.t -> U.t -> U.t