Function fmt_constraint

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