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"
FDL editor aliases :
mk-map
Latex:
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:
2016_05_17-PM-01_46_37
Last ObjectModification:
2013_04_15-AM-11_44_35
Theory : datatype-signatures
Home
Index