Type Alias NCommand

Source

pub type NCommand = GenericNCommand<String, String>;

Aliased Type§

enum NCommand {
Show 18 variants
    Sort(Span, String, Option<(String, Vec<GenericExpr<String, String>>)>),
    Function(GenericFunctionDecl<String, String>),
    AddRuleset(Span, String),
    UnstableCombinedRuleset(Span, String, Vec<String>),
    NormRule {
        rule: GenericRule<String, String>,
    },
    CoreAction(GenericAction<String, String>),
    Extract(Span, GenericExpr<String, String>, GenericExpr<String, String>),
    RunSchedule(GenericSchedule<String, String>),
    PrintOverallStatistics(Span, Option<String>),
    Check(Span, Vec<GenericFact<String, String>>),
    PrintFunction(Span, String, Option<usize>, Option<String>, PrintFunctionMode),
    PrintSize(Span, Option<String>),
    Output {
        span: Span,
        file: String,
        exprs: Vec<GenericExpr<String, String>>,
    },
    Push(usize),
    Pop(Span, usize),
    Fail(Span, Box<GenericNCommand<String, String>>),
    Input {
        span: Span,
        name: String,
        file: String,
    },
    UserDefined(Span, String, Vec<GenericExpr<String, String>>),
}