Function ferrite_session::fix

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