ADT Parameter [  ]

INITIALS
parameter   : String                           -> Parameter

CONSTRUCTORS

SELECTORS
nameParameter   : Parameter(i)                     -> String
EQ_Parameter(c): Parameter(i) * Parameter(i)      -> BOOL

AXIOMS

nameParameter(parameter(S1)) = S1

EQ_Parameter(parameter(S1),parameter(S2)) = EQ_String(S1,S2)