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