Codable.For_tests
val check_encoding : (module S with type t = 't) -> 't0 -> equal:( 't0 -> 't1 -> 'a ) -> 'b