ADT LabelPatternCaml [ ] INITIALS lPC : String * PatternCaml -> LabelPatternCaml CONSTRUCTORS SELECTORS StringOfLabelPatternCaml: LabelPatternCaml(i) -> String EQ_LabelPatternCaml(c): LabelPatternCaml(i) * LabelPatternCaml(i) -> BOOL AXIOMS StringOfLabelPatternCaml(lPC(lab,pat))= concat_String(lab, concat_String("=",StringOfPatternCaml(pat))) EQ_LabelPatternCaml(lPC(S1,P2),lPC(S3,P4)) = AND(EQ_String(S1,S3),EQ_PatternCaml(P2,P4))