1 2 3 4 5 6 7 8
use crate::records::path::Path; use crate::records::subtyping_reasoning::SubtypingReasoning; impl SubtypingReasoning { pub fn sub_path(&self) -> &Path { &self.sub_path } }