ADT ImplCaml [  ]

INITIALS
iCaml       : LImplPhraseCaml                  -> ImplCaml

CONSTRUCTORS

SELECTORS
StringOfImplCaml(c): ImplCaml(i) -> String
EQ_ImplCaml(c): ImplCaml(i) * ImplCaml(i)        -> BOOL

AXIOMS

EQ_ImplCaml(iCaml(L1),iCaml(L2)) = EQ_LImplPhraseCaml(L1,L2)

StringOfImplCaml(iCaml(L1))=
  StringOfLImplPhraseCaml(L1)