1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14

use crate::symbol::Variable;

use serde::{Deserialize, Serialize};

#[derive(Clone, Debug, PartialEq, Eq, Hash, Serialize, Deserialize)]
pub struct Resource {
    pub id: RID,
    pub variable: Variable,
}

/// (-) minus: unnamed resources \
/// (0) zero: the callee \
/// (+) plus: named resources
pub type RID = i32;