1use crate::records::type_level::TypeLevel; 2 3pub fn min(a: &TypeLevel, b: &TypeLevel) -> TypeLevel { 4 if a.subsumes(b) { 5 *a 6 } else { 7 *b 8 } 9}