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'
bm\_insert'(compare;p;m) == let x,v = p in bm\_insert(compare;m;x;v)
Date html generated:
2015_07_17-AM-08_19_41
Last ObjectModification:
2012_08_23-PM-02_20_53
Home
Index