BCHLibx86Types.chif_system_intmethod add_procedure : CHLanguage.procedure_int -> unitmethod get_system : CHLanguage.system_intmethod get_procedure_names : CHLanguage.symbol_t listmethod get_procedure : CHLanguage.symbol_t -> CHLanguage.procedure_intmethod get_procedure_by_index : BCHLibTypes.dw_index_t ->
CHLanguage.procedure_intmethod get_procedure_by_address : BCHLibTypes.doubleword_int ->
CHLanguage.procedure_intmethod get_procedure_locations : CHLanguage.symbol_t ->
(CHLanguage.symbol_t * CHLanguage.symbol_t) listmethod has_procedure : CHLanguage.symbol_t -> boolmethod has_procedure_by_index : BCHLibTypes.dw_index_t -> boolmethod has_procedure_by_address : BCHLibTypes.doubleword_int -> bool