Documentation for infix (+), assembled from the following types:
only sub infix:<(+)>(**)
Baggy addition operator. It is of precedence "Junctive or".
Returns the Baggy addition of its arguments, i.e., a
Bag that contains each element of the arguments with the weights of the element across the arguments added together to get the new weight.
bag(<a a b c a d>) (+) bag(<a a b c c>) === ("a"=>5,"c"=>3,"b"=>2,"d"=>1).Bag