let
add_list (h:(
'
a,
'
b) t) (alist:(
'
a *
'
b) list) = h
#
add_list alist