Function encode_constraint 

pub fn encode_constraint(c: &Constraint, out: &mut String)

Write a canonical Constraint object into out, matching the per-kind shape emitted by Constraint’s Serialize impl (alphabetical keys).