Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/AssocList.exp" ...
Reading file "GL/AssocList.loc" ...
Parsing module "AssocList" ...
[] <- Reading file "GL/AssocList.exp" ...
Reading file "GL/AssocList.loc" ...
Parsing module "AssocList" ...
Compiling module "AssocList" ...
Module "AssocList" compiled.
[] <- Loading module "AssocList" ...
[AssocList] <- 
list = [Pair(5,"abc"),Pair(5,"xyz"),Pair(1,"lmn")],
value = "abc" ? Yes
[AssocList] <-                               [AssocList] <- [AssocList] <-