Function fmt_constraint 

pub(crate) fn fmt_constraint<T: Types>(
    cstr: &Constraint<T>,
    f: &mut Formatter<'_>,
    pretty: bool,
) -> Result