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