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