module Make:Equality and hash are necessary for table generation.
| Parameters: |
|
type elt
typet =elt UCharTbl.tbl
val get : elt UCharTbl.tbl -> UChar.t -> eltval of_map : elt -> elt UMap.t -> tof_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.