rem_utils/local_config.rs
1use serde::Deserialize;
2
3#[derive(Debug, Deserialize)]
4pub struct Programs {
5 pub aeneas: String,
6 pub charon: String,
7}
8
9#[derive(Debug, Deserialize)]
10pub struct Files {
11 pub primitives: String,
12}
13
14#[derive(Debug, Deserialize)]
15pub struct Settings {
16 pub programs: Programs,
17 pub files: Files,
18}