[lib] Add to_list and of_list to MyMap

Those functions are only supported after ocaml 5.

Author: ShaleXIONG

gen/top_gen.ml

@@ -900,8 +900,7 @@ let max_set = IntSet.max_elt
       let locs = List.split inits |> fst |> A.LocSet.of_list in
       let extra_type_declaration =
         A.LocMap.filter ( fun k _ -> not @@ A.LocSet.mem k locs ) env
-        (* to_list only exists after ocaml 5 *)
-          |> A.LocMap.to_seq |> List.of_seq
+          |> A.LocMap.to_list
           (* give default 0 value *)
           |> List.map ( fun (loc, t) -> (loc, (typ_to_testtype t, A.S "0")) ) in
       List.sort (fun (l, _) (r, _) -> A.location_compare l r) (type_inits @ extra_type_declaration)

lib/myMap.ml

@@ -51,6 +51,10 @@ module type S = sig
 (* Bind keys to list of values *)
   val accumulate : key -> 'a -> 'a list t -> 'a list t
 
+(* `to_list` and `of_list` are only supported since 5.1 *)
+  val to_list : 'a t -> (key * 'a) list
+  val of_list : (key * 'a) list -> 'a t
+
 end
 
 module Make(O:Set.OrderedType) : S with type key = O.t =
@@ -109,4 +113,7 @@ module Make(O:Set.OrderedType) : S with type key = O.t =
          | Some vs -> Some (v::vs))
         m
 
+    let to_list m = M.to_seq m |> List.of_seq
+    let of_list m = List.to_seq m |> M.of_seq
+
   end