Up

Module Helper (A : Variant_and_record_intf.S) (B : Variant_and_record_intf.S)

Parameters

Signature

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