charon_lib::transform::update_closure_signatures

Function transform_function

source 
fn transform_function(
    _ctx: &TransformCtx,
    def: &mut FunDecl,
) -> Result<(), Error>