pub fn lower_open(store: &mut Store, t: &Term) -> Result<ExprId, LowerError>
The core expression for a LOGOS term over the kernel’s locals, named as lift names them.
lift