Function erg_compiler::ty::constructors::ands

source ·
pub fn ands(tys: impl IntoIterator<Item = Type>) -> Type