charon_lib::transform::update_closure_signatures

Function transform_function

source
fn transform_function(
    _ctx: &TransformCtx<'_>,
    def: &mut FunDecl,
    body: Option<&mut ExprBody>,
) -> Result<(), Error>