Skip to main content

pp_expr

oxilean_codegen::opt_beta_eta::functions

Function pp_expr 

Source 
pub fn pp_expr(expr: &LcnfExpr) -> String
Expand description

Produce a compact human-readable representation of an LcnfExpr.