Structs§
- FSet
- A finite set type usable in pearlite and
ghost!blocks.
Functions§
- concat_
empty - The neutral element of
FSet::concatisFSet::singleton(Seq::empty()). - concat_
replicate - Distributivity of
replicateoverunion. - concat_
replicate_ up_ to - An equation relating
s.replicate_up_to(m)ands.replicate_up_to(n). - concat_
union - Distributivity of
concatoverunion. - cons_
concat - Distributivity of
consoverunion. - map_
union - Distributivity of
mapoverunion. - unions_
union - Distributivity of
unionsoverunion.