Revision ab8388cf src/backends/EMF/EMF_common.ml
| src/backends/EMF/EMF_common.ml | ||
|---|---|---|
| 384 | 384 |
let pp_emf_consts = pp_emf_list pp_emf_const |
| 385 | 385 |
|
| 386 | 386 |
let pp_emf_eexpr fmt ee = |
| 387 |
fprintf fmt "{@[<hov 0>\"quantifiers\": \"%a\",@ \"qfexpr\": @[%a@]@] }"
|
|
| 388 |
(Utils.fprintf_list ~sep:"; " Printers.pp_quantifiers) ee.eexpr_quantifiers |
|
| 387 |
fprintf fmt "{@[<hov 0>%t\"quantifiers\": \"%a\",@ \"qfexpr\": @[%a@]@] }"
|
|
| 388 |
(fun fmt -> match ee.eexpr_name with |
|
| 389 |
| None -> () |
|
| 390 |
| Some name -> Format.fprintf fmt "\"name\": \"%s\",@ " name |
|
| 391 |
) |
|
| 392 |
(Utils.fprintf_list ~sep:"; " Printers.pp_quantifiers) |
|
| 393 |
ee.eexpr_quantifiers |
|
| 389 | 394 |
pp_emf_expr ee.eexpr_qfexpr |
| 390 | 395 |
|
| 391 | 396 |
let pp_emf_eexprs = pp_emf_list pp_emf_eexpr |
Also available in: Unified diff