Module MakeAllPrime.ValueGeneration

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