Project

General

Profile

Revision ab8388cf src/backends/EMF/EMF_common.ml

View differences:

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