Type_generic.Helper
module A : Variant_and_record_intf.S
module B : Variant_and_record_intf.S
type map = {
map : a. 'a A.t -> 'a B.t;
}
val map_variant : map -> 'a A.Variant.t -> 'a B.Variant.t
val map_record : map -> 'a A.Record.t -> 'a B.Record.t