rem-utils 0.2.1

Utilities for Rusty Extraction Maestro
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use serde::Deserialize;

#[derive(Debug, Deserialize)]
pub struct Programs {
    pub aeneas: String,
    pub charon: String,
}

#[derive(Debug, Deserialize)]
pub struct Files {
    pub primitives: String,
}

#[derive(Debug, Deserialize)]
pub struct Settings {
    pub programs: Programs,
    pub files: Files,
}