Up
Module
Helper
(
A
:
Variant_and_record_intf.S
) (
B
:
Variant_and_record_intf.S
)
Parameters
A
:
Variant_and_record_intf.S
B
:
Variant_and_record_intf.S
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