pub fn lin_to_rust(e: &LinearExpr, interner: &Interner) -> Option<String>Expand description
Render an affine capacity LinExpr as a Rust i64 expression string — used to
size a dense map’s direct-addressed array (with_bounds(0, (cap) + 1)) at its
constructor site. None if any coefficient or the constant is non-integer (no
clean rendering), in which case the dense gate declines and the map stays a
hash table. Terms are emitted in symbol-index order for determinism.