package MCC.IR; public interface Quantifiers { public int numQuantifiers(); public Quantifier getQuantifier(int i); }