Revision ae08b9fc
Added by Pierre-Loïc Garoche about 5 years ago
| 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
[seal] delt with Merge and when
[printer] more kind2 syntax