Project

General

Profile

Revision ae08b9fc src/tools/seal/seal_utils.ml

View differences:

src/tools/seal/seal_utils.ml
63 63
                        | Some gl ->
64 64
                           Format.fprintf fmt "[@[%a@]] -> (%a)@ "
65 65
                             Printers.pp_expr gl pp_up up) sw
66
                  
66
let pp_all_defs =
67
  (Utils.fprintf_list ~sep:",@ "
68
     (fun fmt (id, gel) -> Format.fprintf fmt "%s -> [@[<v 0>%a]@]"
69
                             id
70
                             (pp_mdefs pp_elem) gel))              
67 71
module UpMap =
68
  struct
69
    include Map.Make (
70
                struct
71
                  type t = (ident * expr) list
72
                  let compare l1 l2 =
73
                    let proj l = List.map (fun (s,e) -> s, e.expr_tag) l in
74
                    compare (proj l1) (proj l2) 
75
                end)
76
    let pp = pp_up 
77
  end
72
      struct
73
        include Map.Make (
74
                    struct
75
                      type t = (ident * expr) list
76
                      let compare l1 l2 =
77
                        let proj l = List.map (fun (s,e) -> s, e.expr_tag) l in
78
                        compare (proj l1) (proj l2) 
79
                    end)
80
        let pp = pp_up 
81
      end
78 82
    
79 83
module Guards = struct
80 84
  include Set.Make (
......
88 92
  let pp_long fmt s = pp_gl Printers.pp_expr fmt (elements s)
89 93
end
90 94
                  
91
                  
92

  
95
        

Also available in: Unified diff