ADT ExceptionDefCaml [  ]

INITIALS
edCaml      : ConstrDeclCaml                   -> ExceptionDefCaml

CONSTRUCTORS

SELECTORS
StringOfExceptionDefCaml(c): ExceptionDefCaml(i)  -> String
exception_Caml:->String
EQ_ExceptionDefCaml(c): ExceptionDefCaml(i) * ExceptionDefCaml(i)  -> BOOL

AXIOMS

exception_Caml="except"

StringOfExceptionDefCaml(edCaml(C1))=
  concat_String(exception_Caml,
  concat_String("ion ",StringOfConstrDeclCaml(C1)))

EQ_ExceptionDefCaml(edCaml(C1),edCaml(C2)) = EQ_ConstrDeclCaml(C1,C2)