Nuprl Definition : mk-map-int-decr
mk-map-int-decr(Value) ==
mk-map(ℤ;Value;int-decr-map-type(Value);λx,y. (x =z y);λk,m. int-decr-map-find(k;m);λk,m. int-decr-map-inDom(k;m);
int-decr-map-empty();λm.int-decr-map-isEmpty(m);λk,v,m. int-decr-map-update(k;v;m);λk,v,m. int-decr-map-add(k;v\000C;m);
λk,m. int-decr-map-remove(k;m))
Definitions occuring in Statement :
int-decr-map-remove: int-decr-map-remove(k;m),
int-decr-map-add: int-decr-map-add(k;v;m),
int-decr-map-update: int-decr-map-update(k;v;m),
int-decr-map-isEmpty: int-decr-map-isEmpty(m),
int-decr-map-empty: int-decr-map-empty(),
int-decr-map-inDom: int-decr-map-inDom(k;m),
int-decr-map-find: int-decr-map-find(k;m),
int-decr-map-type: int-decr-map-type(Value),
mk-map: mk-map(Key;Value;map;eqKey;find;inDom;empty;isEmpty;update;add;remove),
eq_int: (i =z j),
lambda: λx.A[x],
int: ℤ
FDL editor aliases :
mk-map-int-decr
mk-map-int-decr(Value) ==
mk-map(\mBbbZ{};Value;int-decr-map-type(Value);\mlambda{}x,y. (x =\msubz{} y);\mlambda{}k,m. int-decr-map-find(k;m);
\mlambda{}k,m. int-decr-map-inDom(k;m);int-decr-map-empty();\mlambda{}m.int-decr-map-isEmpty(m);
\mlambda{}k,v,m. int-decr-map-update(k;v;m);\mlambda{}k,v,m. int-decr-map-add(k;v;m);\mlambda{}k,m. int-decr-map-remov\000Ce(k;m))
Date html generated:
2015_07_17-AM-08_23_39
Last ObjectModification:
2013_04_18-AM-00_41_25
Home
Index