Module PBT.MakeCompressedSerialisationAffineSource

Parameters

module G : sig ... end

Signature

Sourceval test_zero : unit -> unit
Sourceval test_of_compressed_bytes_exn_recover_correct_point_from_uncompressed_representation : unit -> unit
Sourceval test_of_compressed_bytes_opt_recover_correct_point_from_uncompressed_representation : unit -> unit
Sourceval test_compressed_version_is_half_the_size : unit -> unit
Sourceval test_of_compressed_bytes_exn_and_opt_do_not_accept_uncompressed_bytes_representation : unit -> unit
Sourceval test_of_bytes_exn_and_opt_do_not_accept_compressed_bytes_representation : unit -> unit
Sourceval get_tests : unit -> string * unit Alcotest.test_case list