Nuprl Definition : mk-map
mk-map(Key;Value;map;eqKey;find;inDom;empty;isEmpty;update;add;remove) ==
λx.x["map" := map]["eqKey" := eqKey]["find" := find]["inDom" := inDom]["empty" := empty]["isEmpty" := isEmpty]
["update" := update]["add" := add]["remove" := remove]
Definitions occuring in Statement :
lambda: λx.A[x],
token: "$token",
record-update: r[x := v]
FDL editor aliases :
mk-map
mk-map(Key;Value;map;eqKey;find;inDom;empty;isEmpty;update;add;remove) ==
\mlambda{}x.x["map" := map]["eqKey" := eqKey]["find" := find]["inDom" := inDom]["empty" := empty]
["isEmpty" := isEmpty]["update" := update]["add" := add]["remove" := remove]
Date html generated:
2015_07_17-AM-08_22_01
Last ObjectModification:
2013_04_15-AM-11_44_35
Home
Index