cli/mpfr_expr_cli API 参考
两种固定 MPFR witness 语法的命令 adapter。
状态
这是仓库基础设施，不是稳定应用 API。生成声明供本模块维护者和内部集成查阅。
完整公开接口
以下快照是 0.7.1 的完整生成包接口。公开声明是名称与签名的权威清单；前文按行为解释这些能力。
moonbit
// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/cli/mpfr_expr_cli"
// Values
pub fn run(Array[String]) -> Int
// Errors
// Types and methods
// Type aliases
// Traits