Module PBT.MakeEqualitySource

Parameters

module G : sig ... end

Signature

Sourceval zero : unit -> unit

Verify the equality is correct with the value zero

Sourceval one : unit -> unit

Verify the equality is correct with the value one

Sourceval random_same_objects : unit -> unit

Verify the equality of two random values created invidually

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

Returns the tests to be used with Alcotest