ADT LabelExprCaml [ ] INITIALS lEC : String * ExprCaml -> LabelExprCaml CONSTRUCTORS SELECTORS StringOfLabelExprCaml(c): LabelExprCaml(i) -> String EQ_LabelExprCaml(c): LabelExprCaml(i) * LabelExprCaml(i) -> BOOL AXIOMS StringOfLabelExprCaml(lEC(S1,E2))= concat_String(S1, concat_String("=",StringOfExprCaml(E2))) EQ_LabelExprCaml(lEC(S1,E2),lEC(S3,E4)) = AND(EQ_String(S1,S3),EQ_ExprCaml(E2,E4))