DynBlockData.HMap
V1 : Dyn.ValueS
V2 : Dyn.ValueS
type map
=
{
map : a. 'a tag -> 'a V1.t -> 'a V2.t;
}
val map : map -> Map(V1).t -> Map(V2).t