podo_core_driver/
resource.rs

1use crate::symbol::Variable;
2
3#[cfg(feature = "os")]
4use serde::{Deserialize, Serialize};
5
6#[derive(Clone, Debug, PartialEq, Eq, Hash)]
7#[cfg_attr(feature = "os", derive(Serialize, Deserialize))]
8pub struct Resource {
9    pub id: RID,
10    pub variable: Variable,
11}
12
13/// (-) minus: unnamed resources \
14/// (0) zero: the callee \
15/// (+) plus: named resources
16pub type RID = i32;