Function erg_compiler::ty::constructors::singleton

source ·
pub fn singleton(ty: Type, tp: TyParam) -> Type