Nuprl Definition : bag-partitions
bag-partitions(eq;bs) == let splits ⟵ bag-splits(bs) in bag-to-set(proddeq(bag-deq(eq);bag-deq(eq));splits)
Definitions occuring in Statement :
bag-to-set: bag-to-set(eq;bs),
bag-deq: bag-deq(eq),
bag-splits: bag-splits(b),
proddeq: proddeq(a;b),
callbyvalueall: callbyvalueall
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
bag-splits: bag-splits(b),
bag-to-set: bag-to-set(eq;bs),
proddeq: proddeq(a;b),
bag-deq: bag-deq(eq)
FDL editor aliases :
bag-partitions
Latex:
bag-partitions(eq;bs) ==
let splits \mleftarrow{}{} bag-splits(bs)
in bag-to-set(proddeq(bag-deq(eq);bag-deq(eq));splits)
Date html generated:
2016_05_15-PM-08_05_51
Last ObjectModification:
2015_09_23-AM-08_20_52
Theory : bags_2
Home
Index