in multiset_codec/msbst.py [0:0]
def remove(multiset, x):
'''Removes a symbol x from the multiset'''
size, y, left, right = multiset
if size == 1:
return ()
if x < y:
left = remove(left, x)
elif x > y:
right = remove(right, x)
return size - 1, y, left, right