Module PBT.MakeSerialisationPropertiesSource

Parameters

module G : sig ... end

Signature

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