Function identity::lift::ty_id [−] [src]

pub fn ty_id() -> Id