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