Skip to content

cli/mpfr_expr_cli API Reference

Command adapter for the two pinned MPFR witness grammars.

Status

This is repository infrastructure, not a stable application API. Its generated declarations are documented for maintainers and integrations inside this module.

Complete Public Interface

The following snapshot is the complete generated package interface for 0.7.1. Public declarations are authoritative; prose above groups them by behavior.

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