pub fn compile_kripke(input: &str) -> Result<String, ParseError>Expand description
Compile with Kripke semantics lowering. Modal operators are transformed into explicit possible world quantification.
pub fn compile_kripke(input: &str) -> Result<String, ParseError>Compile with Kripke semantics lowering. Modal operators are transformed into explicit possible world quantification.