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