Mc_main.Specval input : string list Bap_main.Extension.Command.paramval file : string Bap_main.Extension.Command.paramval language : Bap_core_theory.Theory.Language.t Bap_main.Extension.Type.tval arch : string option Bap_main.Extension.Command.paramval triple : string option Bap_main.Extension.Command.paramval cpu : string option Bap_main.Extension.Command.paramval bits : int option Bap_main.Extension.Command.paramval order : Bap.Std.endian option Bap_main.Extension.Command.paramval outputs :
(output, string list) Core_kernel.List.Assoc.t
Bap_main.Extension.Command.paramval base : string Bap_main.Extension.Command.paramval only_one : bool Bap_main.Extension.Command.paramval stop_on_error : bool Bap_main.Extension.Command.paramval backend : string option Bap_main.Extension.Command.paramval loader : string Bap_main.Extension.Command.param