package ff-bench

  1. Overview
  2. Docs
package ff-bench
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Ff_sig.BASE

Signature

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 : Stdlib.Bytes.t
val zero_bytes : Stdlib.Bytes.t
val one_bytes : Stdlib.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