Function ferrite_session::internal::base::unfix

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