charon_lib::transform::ops_to_function_calls

Function transform_st

source 
fn transform_st(s: &mut Statement)