Function kernel_method_signature 

pub fn kernel_method_signature(
    ty: TyId,
    tys: &Types,
    method: &str,
) -> Option<String>

The kernel-method signature for method on receiver type ty, if any.