section bagkit parents toolkit |
bag | -- | Bags |
count, ![]() | -- | Multiplicity |
![]() | -- | Bag scaling |
generic (bag _) |
bag X == X ![]() ![]() |
count [X] == ![]() ![]() ![]() ![]() ![]() |
function 50 leftassoc (_ ![]() |
_ ![]() ![]() ![]() |
function 40 leftassoc (_ ![]() |
_ ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
function (![]() ![]() |
![]() ![]() ![]() ![]() |
[ X ] ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() | -- | Bag membership |
![]() | -- | Sub-bag relation |
relation (_ ![]() |
_ ![]() ![]() |
relation (_ ![]() |
_ ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() | -- | Bag sum |
![]() | -- | Bag difference |
function 30 leftassoc (_ ![]() |
_ ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
function 30 leftassoc (_ ![]() |
_ ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
[X] ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |