module Helper: functor (A : Variant_and_record_intf.S) -> functor (B : Variant_and_record_intf.S) -> sig .. end
functor (
A
:
Variant_and_record_intf.S
) ->
B
sig
end
type map = {
map : 'a. 'a A.t -> 'a B.t;
'a. 'a A.t -> 'a B.t
val map_variant : map -> 'a A.Variant.t -> 'a B.Variant.t
map -> 'a A.Variant.t -> 'a B.Variant.t
val map_record : map -> 'a A.Record.t -> 'a B.Record.t
map -> 'a A.Record.t -> 'a B.Record.t