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