Type Alias RuleMatcher

type RuleMatcher<const N: usize> = fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>;