Make.For_tests
val check_encoding : Iso.original -> equal:( Iso.original -> Iso.original -> 'a ) -> 'b