Skip to main content

omega

logicaffeine_base::tower

Function omega 

Source 
pub fn omega<V: TowerValue>() -> V
Expand description

ω, the first infinite ordinal.