kocheck 0.4.1

Type checker for the lambda-Pi calculus modulo rewriting
Documentation
use clap::ArgEnum;

/// A stage in the processing of commands.
///
/// This is useful to omit certain parts of command processing.
/// Omitting one stage also omits all stages after it,
/// i.e. all stages greater than the stage.
#[derive(Clone, Debug, PartialEq, Eq, ArgEnum)]
pub enum Stage {
    /// Sharing
    Share,
    /// Type inference
    Infer,
    /// Type checking
    Check,
}