1
consts assoc :: "('key * 'val)list => 'key => 'val option"
2
primrec "assoc [] x = None"
3
"assoc (p#ps) x =
4
(let (a,b) = p in if a=x then Some b else assoc ps x)"