public Quantifier BindPositionQuantifier <T>(ElementTypePredicate <T> pred,
params int[] positions)
{
return(Quantifiers.Position(pred, elemPositions, positions));
}
public Quantifier BindPositionQuantifier(Predicate pred, params int[] positions)
{
return(Quantifiers.Position(pred, elemPositions, positions));
}