pub fn encode_constraints(cs: &[Constraint], out: &mut String)
Write a canonical-JSON array of Constraint objects.