ADT ConstraintTypeCaml [ ] INITIALS consTC : String * TypeExprCaml -> ConstraintTypeCaml CONSTRUCTORS SELECTORS StringOfConstraintTypeCaml: ConstraintTypeCaml(i) -> String constraint_Caml:->String EQ_ConstraintTypeCaml(c): ConstraintTypeCaml(i) * ConstraintTypeCaml(i) -> BOOL AXIOMS constraint_Caml="constra" StringOfConstraintTypeCaml(consTC(S1,T2))= concat_String(constraint_Caml, concat_String("int '", concat_String(S1, concat_String("=(", concat_String(StringOfTypeExprCaml(T2),")"))))) EQ_ConstraintTypeCaml(consTC(S1,T2),consTC(S3,T4)) = AND(EQ_String(S1,S3),EQ_TypeExprCaml(T2,T4))