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