Module Make.HMap

Parameters

• V1 : ValueS
• V2 : ValueS

Signature

type map = {

map : a. 'a tag -> 'a V1.t -> 'a V2.t;

}

val map : map -> Map(V1).t -> Map(V2).t

type filter = {

filter : a. 'a tag -> 'a V1.t -> bool;

}

val filter : filter -> Map(V1).t -> Map(V1).t