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