Skip to main content

lift_level

logicaffeine_kernel::dag::logos

Function lift_level 

Source 
pub fn lift_level(store: &Store, l: LevelId) -> Universe
Expand description

The LOGOS universe for a core level.