Nuprl Definition : bm_collate_next
bm_collate_next(l) ==
rec-case(l) of
[] => <bm_E(), []>
t::rest =>
z.binary_map_case(t;<bm_E(), []>;key,value,cnt,left,right.<t, bm_collate_left(right) rest>)
Definitions occuring in Statement :
bm_collate_left: bm_collate_left(m),
binary_map_case: binary_map_case(m;E;key,value,cnt,left,right.F[key; value; cnt; left; right]),
bm_E: bm_E(),
list_ind: list_ind,
nil: [],
apply: f a,
pair: <a, b>
FDL editor aliases :
bm_collate_next
bm\_collate\_next(l) ==
rec-case(l) of
[] => <bm\_E(), []>
t::rest =>
z.binary\_map\_case(t;<bm\_E(), []>key,value,cnt,left,right.<t, bm\_collate\_left(right) rest>)
Date html generated:
2015_07_17-AM-08_20_28
Last ObjectModification:
2012_08_28-PM-02_14_44
Home
Index