geometric_langlands_cli/
lib.rs

1// Re-export core types for CLI use
2// Temporarily disabled for standalone CLI build
3// pub use geometric_langlands::*;
4
5pub mod config;
6pub mod persistence;
7pub mod repl;
8pub mod visualization;
9pub mod commands;
10
11// CLI-specific types that should be defined here instead of imported from main
12#[derive(Clone, Debug, clap::ValueEnum)]
13pub enum OutputFormat {
14    Pretty,
15    Json,
16    Plain,
17    LaTeX,
18}
19
20#[derive(Clone, Debug, clap::ValueEnum)]
21pub enum VerificationDepth {
22    Quick,
23    Standard,
24    Deep,
25    Exhaustive,
26}
27
28#[derive(Clone, Debug, clap::ValueEnum)]
29pub enum ExportFormat {
30    Json,
31    LaTeX,
32    Mathematica,
33    SageMath,
34    Python,
35    Csv,
36    Binary,
37}

geometric_langlands_cli/lib.rs

geometric_langlands_cli/
lib.rs