ADT AbsType [  ]

INITIALS
absType   : String * LParameter * LGenerator * LSelector -> AbsType

CONSTRUCTORS

SELECTORS
nameAbsType   : AbsType(i)                       -> String
parametersAbsType   : AbsType(i)                       -> LParameter
generatorsAbsType   : AbsType(i)                       -> LGenerator
selectorsAbsType   : AbsType(i)                       -> LSelector
EQ_AbsType(c): AbsType(i) * AbsType(i)          -> BOOL

AXIOMS

nameAbsType(absType(S1,L3,L4,L5)) = S1

parametersAbsType(absType(S1,L3,L4,L5)) = L3

generatorsAbsType(absType(S1,L3,L4,L5)) = L4

selectorsAbsType(absType(S1,L3,L4,L5)) = L5

EQ_AbsType(absType(S1,L3,L4,L5),absType(S6,L8,L9,L10)) = EQ_String(S1,S6)