git.delta.rocks / jrsonnet / refs/commits / 788037fe57fe

7pub struct TLAOpts {7pub struct TLAOpts {
8	/// Add top level string argument.8	/// Add top level string argument.
9	/// Top level arguments will be passed to function before manifestification stage.9	/// Top level arguments will be passed to function before manifestification stage.
10	/// prefer using them instead of ExtVars.10	/// This is preferred to ExtVars method.
11	/// If [=data] is not set, then it will be read from `name` env variable.11	/// If [=data] is not set then it will be read from `name` env variable.
12	#[clap(long, short = 'A', name = "name[=tla data]", number_of_values = 1)]12	#[clap(long, short = 'A', name = "name[=tla data]", number_of_values = 1)]
13	tla_str: Vec<ExtStr>,13	tla_str: Vec<ExtStr>,
14	/// Read top level argument string from file.14	/// Read top level argument string from file.