cli/mpfr_expr_cli Tutorial

Quick Start

Command adapter for the two pinned MPFR witness grammars.

Workflow

Run the package through the repository wrapper so dependency and target handling match CI:

sh tools/run_moon_clean_exec.sh run --release --target native src/cli -- --backend mpfr --help

Read failures as repository-maintenance signals; this package is not a standalone end-user product.

Failure And Scope

File reads and rendering are effects. MPFR-format parsing and binary comparison remain in frontend/mpfr_expr. Do not import this package as a substitute for the numeric packages it supports.

Next Reading

Read API for the complete generated surface and Design for ownership and trade-offs.