ADT InterCaml [  ]

INITIALS
seqSpec: LSpecificationCaml -> InterCaml

CONSTRUCTORS

SELECTORS
StringOfInterCaml: InterCaml(i)  -> String
EQ_InterCaml(c): InterCaml(i) * InterCaml(i)  -> BOOL

AXIOMS

StringOfInterCaml(seqSpec(ls))=
  StringOfLSpecificationCaml(ls)

EQ_InterCaml(seqSpec(L1),seqSpec(L2))=EQ_LSpecificationCaml(L1,L2)