Spec (p.bap-mc.2.1.0.doc.bap-plugin-mc.Mc

val input : string list Bap_main.Extension.Command.param

val file : string Bap_main.Extension.Command.param

val arch_type : Bap.Std.Arch.t Bap_main.Extension.Type.t

val arch : Bap.Std.Arch.t Bap_main.Extension.Command.param

val outputs : 
  ([ `bil | `bir | `insn | `invalid | `kinds | `sema | `size ] * string list)
    list
    Bap_main.Extension.Command.param

val base : string Bap_main.Extension.Command.param

val only_one : bool Bap_main.Extension.Command.param

val stop_on_error : bool Bap_main.Extension.Command.param

val backend : string option Bap_main.Extension.Command.param

val loader : string Bap_main.Extension.Command.param