Nuprl Definition : bm_insert'
bm_insert'(compare;p;m) == let x,v = p in bm_insert(compare;m;x;v)
Definitions occuring in Statement :
bm_insert: bm_insert(compare;m;x;v),
spread: spread def
FDL editor aliases :
bm_insert'
Latex:
bm\_insert'(compare;p;m) == let x,v = p in bm\_insert(compare;m;x;v)
Date html generated:
2016_05_17-PM-01_41_22
Last ObjectModification:
2012_08_23-PM-02_20_53
Theory : binary-map
Home
Index