Function matches 

pub fn matches<L: Lang>(lang: &L, id: L::Id, pat: &Pat) -> Option<Binds<L>>

便捷入口：匹配成功返回绑定表。