package ff-bench

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Ff_sig.BASE

val e1 : F.t

val e2 : F.t

val zero : F.t

val one : F.t

val generate_random_element : unit -> unit

val generate_zero : unit -> unit

val generate_one : unit -> unit

val e1_bytes : Bytes.t

val zero_bytes : Bytes.t

val one_bytes : Bytes.t

val check_if_zero_on_pregenerated_random_element : unit -> unit

val check_if_zero_on_pregenerated_zero_element : unit -> unit

val check_if_zero_on_pregenerated_one_element : unit -> unit

val check_if_one_on_pregenerated_random_element : unit -> unit

val check_if_one_on_pregenerated_zero_element : unit -> unit

val check_if_one_on_pregenerated_one_element : unit -> unit

val compute_addition_on_pregenerated_random_element : unit -> unit

val compute_multiplication_on_pregenerated_random_element : unit -> unit

val compute_square_on_pregenerated_random_element : unit -> unit

val compute_double_on_pregenerated_random_element : unit -> unit

val compute_eq_on_pregenerated_random_elements : unit -> unit

val compute_eq_on_same_pregenerated_random_element : unit -> unit

val compute_opposite_on_pregenerated_random_element : unit -> unit

val compute_opposite_on_pregenerated_one_element : unit -> unit

val compute_opposite_on_pregenerated_zero_element : unit -> unit

val compute_inverse_on_pregenerated_random_element : unit -> unit

val compute_inverse_on_pregenerated_one_element : unit -> unit

val compute_inverse_opt_on_pregenerated_random_element : unit -> unit

val compute_inverse_opt_on_pregenerated_one_element : unit -> unit

val compute_inverse_opt_on_pregenerated_zero_element : unit -> unit

val get_benches : string -> Core_bench.Bench.Test.t list