public static final Pattern<Expr, Type> Var() { return PF.nodeType(Type.VAR); }
public static final Pattern<Expr, Type> type(Type type) { return PF.nodeType(type); }