Skip to main content

from_ordinal

logicaffeine_compile::semantics::exact

Function from_ordinal 

Source 
pub fn from_ordinal(o: Ordinal) -> RuntimeValue
Expand description

A finite ordinal is a natural number.