Function pe_source_text 

pub fn pe_source_text() -> &'static str

Returns the source text of the partial evaluator written in LogicAffeine.

This PE operates on CProgram representations using explicit environments and static dispatch. It is first-order (no closures) and uses only literal string function names (no dynamic dispatch).