Module BCHPowerMetrics

val get_pwr_op_metrics : BCHPowerTypes.pwr_assembly_function_int -> BCHLibTypes.function_info_int -> int * int * int * int
val get_pwr_stackpointer_metrics : BCHPowerTypes.pwr_assembly_function_int -> BCHLibTypes.function_info_int -> int * int