ADT Selector [  ]

INITIALS
selector    : String * LDomain * String * BOOL * LAxiom -> Selector

CONSTRUCTORS

SELECTORS
nameSelector(c): Selector(i)                      -> String
domainSelector   : Selector(i)                      -> LDomain
codomainSelector   : Selector(i)                      -> String
characterizerSelector   : Selector(i)                      -> BOOL
axiomsSelector   : Selector(i)                      -> LAxiom
EQ_Selector(c): Selector(i) * Selector(i)        -> BOOL

AXIOMS

nameSelector(selector(S1,L2,S3,B4,L5)) = S1

domainSelector(selector(S1,L2,S3,B4,L5)) = L2

codomainSelector(selector(S1,L2,S3,B4,L5)) = S3

characterizerSelector(selector(S1,L2,S3,B4,L5)) = B4

axiomsSelector(selector(S1,L2,S3,B4,L5)) = L5

EQ_Selector(selector(S1,L2,S3,B4,L5),selector(S6,L7,S8,B9,L10)) = EQ_String(S1,S6)