1 2 3 4 5 6 7 8 9 10
use crate::type_aliases::def_id_control_flow_graph::DefId; use alloc::string::String; #[derive(Debug, Clone)] pub struct Proposition { pub ptr: DefId, pub r#type: Option<String>, pub is_typeof: bool, pub sense: bool, }