Function constrain_type

pub fn constrain_type<T>(_x: T, _y: T) -> bool