package ff-pbt

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

Check the routine generators do not raise any exception

Parameters

module FiniteField : Ff_sig.BASE

val zero : unit -> unit

val random : unit -> unit

val non_null_random : unit -> unit

val one : unit -> unit

val inverse_with_random_not_null : unit -> unit

val inverse_with_one : unit -> unit

val negation_with_random : unit -> unit

val negation_with_zero : unit -> unit

val negation_with_one : unit -> unit

val square_with_one : unit -> unit

val square_with_random : unit -> unit

val double_with_zero : unit -> unit

val double_with_one : unit -> unit

val double_with_random : unit -> unit

val double_is_same_than_multiply_by_same_element : unit -> unit

val get_tests : unit -> string * unit Alcotest.test_case list