Type Alias Rec 

pub type Rec<F> = RecX<(), F>;

Aliased Type

pub struct Rec<F> {
    pub unfix: Box<dyn HasRecApp<F, (RecX<(), F>, ())>>,
}

Fields

unfix: Box<dyn HasRecApp<F, (RecX<(), F>, ())>>