ADT DirectiveCaml [  ]

INITIALS
openDC      : String                           -> DirectiveCaml

CONSTRUCTORS

SELECTORS
StringOfDirectiveCaml(c): DirectiveCaml(i)  -> String
EQ_DirectiveCaml(c): DirectiveCaml(i) * DirectiveCaml(i)  -> BOOL

AXIOMS

StringOfDirectiveCaml(openDC(S1))=
  concat_String("open ",S1)

EQ_DirectiveCaml(openDC(S1),openDC(S2)) = EQ_String(S1,S2)