let cnstrnt_eq = Sign.eq