compile_kripke_with

logicaffeine_language::compile

Function compile_kripke_with 

Source 
pub fn compile_kripke_with<F, R>(input: &str, f: F) -> Result<R, ParseError>
where
    F: FnOnce(&LogicExpr<'_>, &Interner) -> R,
Expand description

Compile to Kripke-lowered FOL and pass the AST to a callback.

The callback receives the Kripke-lowered LogicExpr and the Interner for symbol resolution. This avoids lifetime issues with arena-allocated ASTs.