let
size_sub sz1 sz2 = size_apply_operation (-.) sz1 sz2