Function erg_compiler::ty::constructors::proj

source ·
pub fn proj<S: Into<Str>>(lhs: Type, rhs: S) -> Type