docs: Make documentation of disjoint_union()
consistent with behavior
#143
This job was skipped
Loading
disjoint_union()
consistent with behavior
#143