PrintExportInfo (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.PrintExportInfo)

Source

val pp_export_info_json : 
  Format.formatter ->
  ('reg, 'regx, 'xreg, 'rglag, 'cond, 'asm_op, 'extra_op)
    Arch_extra.extended_op
    Pretyping.Env.env ->
  (unit,
    ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op)
      Arch_extra.extended_op)
    Prog.prog ->
  ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op) Arch_decl.asm_prog ->
  unit