Nuprl Definition : bm_T
bm_T(key;value;cnt;left;right) == <"T", key, value, cnt, left, right>
Definitions occuring in Statement :
pair: <a, b>,
token: "$token"
FDL editor aliases :
bm_T
Latex:
bm\_T(key;value;cnt;left;right) == <"T", key, value, cnt, left, right>
Date html generated:
2016_05_17-PM-01_37_11
Last ObjectModification:
2014_04_30-AM-11_05_10
Theory : binary-map
Home
Index