Module StringPrep_data.MappingMapSource

Sourcetype elt = mapping
Sourceval of_map : elt -> elt UMap.t -> t

of_map def m creates the table which has the same value to m. The table returns def for the characters for which m is undefined.