emptyCustomMap

This commit is contained in:
Dmitry Boulytchev 2020-11-16 03:00:16 +03:00
parent 695ddc7d88
commit 8cddb126b9
4 changed files with 20 additions and 10 deletions

View file

@ -18,7 +18,7 @@ public fun logOn () {
public fun initOstap () {
tab := ref (emptyHashTab (1024, hash, compare));
restab := emptyMemo ();
restab := emptyCustomMemo (fun (x) {case x of #string -> true | _ -> false esac}, compare);
hct := emptyMemo ()
}