ADT PatternMatchCaml [ ] INITIALS pmCaml : LCasePMCaml -> PatternMatchCaml CONSTRUCTORS SELECTORS StringOfPatternMatchCaml(c): PatternMatchCaml(i) -> String EQ_PatternMatchCaml(c): PatternMatchCaml(i) * PatternMatchCaml(i) -> BOOL AXIOMS StringOfPatternMatchCaml(pmCaml(L1)) = StringOfLCasePMCaml(L1) EQ_PatternMatchCaml(pmCaml(L1),pmCaml(L2)) = EQ_LCasePMCaml(L1,L2)