knave-expand 0.14.21

The reading, scoping and expansion stages of knave
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::core::BindingId;
use crate::source::Span;

#[derive(Clone, Copy, serde::Serialize, serde::Deserialize)]
pub(super) struct StructuralPathClaim {
    owner: BindingId,
    clause: Span,
}

impl StructuralPathClaim {
    pub(super) fn new(owner: BindingId, clause: Span) -> Self {
        Self { owner, clause }
    }

    pub(super) fn owner(self) -> BindingId {
        self.owner
    }

    pub(super) fn clause(self) -> Span {
        self.clause
    }
}