harn-cli 0.8.1

CLI for the Harn programming language — run, test, REPL, format, and lint
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

use clap::Args;

#[derive(Debug, Args)]
pub(crate) struct ExplainArgs {
    /// The invariant name to explain, e.g. `fs.writes`.
    #[arg(long = "invariant", value_name = "NAME")]
    pub invariant: String,
    /// The handler / function / tool / pipeline name to inspect.
    pub function: String,
    /// Path to the `.harn` source file.
    pub file: String,
}