pub type FaultTreeProbabilities = BTreeMap<String, f64>;
pub struct FaultTreeProbabilities { /* private fields */ }