Skip to main content

lift

logicaffeine_kernel::dag::logos

Function lift 

Source 
pub fn lift(store: &Store, e: ExprId) -> Term
Expand description

The LOGOS term for a closed core expression.