Type Alias Path 

pub type Path = &'static [&'static str];

A static path used to navigate nested structures in Quint specifications.

Paths are represented as static string slices and are used in Config to specify where to find state and nondeterministic picks within the specification’s state space.

Examples

use quint_connect::Config;

let config = Config {
    state: &["global_var", "nested_record", "my_state"],
    nondet: &["nondet_choices"],
};