Function ferrite_session::unfix

pub fn unfix<F>(x: Rec<F>) -> F::Applied where
    F: Send + 'static,
    F: RecApp<Unfix<Rec<F>>>,