Type Alias Aleph0RealTy 

pub type Aleph0RealTy<Y> = DepTupTy<Y, Real, Aleph0RealLam<Y>>;

(y : real, (\(y : real) = real_range(y))(y)).

Aliased Type

pub struct Aleph0RealTy<Y>(/* private fields */);