package x10.constraint; public interface XAnd extends XFormula<String> { }