let
size_add sz1 sz2 = size_apply_operation (+.) sz1 sz2