Skip to main content

Module eir

xlog_logic

Module eir 

Source
Expand description

Frontend construction for the Epistemic Intermediate Representation.

Functionsยง

build_eir
Build EIR from parsed frontend AST without lowering to RIR.