EXPORT AssocList. IMPORT Strings. BASE PairType. FUNCTION Pair : Integer * String -> PairType. PREDICATE Lookup : Integer * String * List(PairType) * List(PairType).