21 type ('a, 'b) assoc_list = ('a, 'b) Types.prod List.list
24 ('a1, 'a2) Types.prod -> ('a1, 'a2) assoc_list -> ('a1, 'a2) Types.prod
27 val assoc_list_exists :
28 'a1 -> ('a1 -> 'a1 -> Bool.bool) -> ('a1, 'a2) Types.prod List.list ->
31 val assoc_list_lookup :
32 'a1 -> ('a1 -> 'a1 -> Bool.bool) -> ('a1, 'a2) Types.prod List.list -> 'a2