let
memq (h:(
'
a,
'
b) t) (x:
'
a) (y:
'
b) = h
#
memq x y