pub fn constraint(value: bool) -> AttrPair