Struct CBackend 

pub struct CBackend { /* private fields */ }

The C code generation backend.

Translates an LCNF module into C99 source code with Lean-compatible runtime support.

Implementations

impl CBackend

pub fn new(config: CEmitConfig) -> Self

Create a new C backend with the given configuration.

pub fn default_backend() -> Self

Create a C backend with default configuration.

pub fn emit_module(&mut self, module: &LcnfModule) -> COutput

Emit a complete LCNF module to C code.

pub fn emit_fun_decl(&mut self, decl: &LcnfFunDecl) -> CDecl

Emit an LCNF function declaration as a C function.

pub fn emit_type(&self, ty: &LcnfType) -> CType

Map an LCNF type to a C type (public interface).

pub fn emit_expr(&mut self, expr: &LcnfExpr, ret_ty: &LcnfType) -> Vec<CStmt>

Emit C statements for an LCNF expression.

pub fn stats(&self) -> &CEmitStats

Get the accumulated statistics.