Skip to main content

joint_discharged

qualia_core_db::modalities::stit

Function joint_discharged 

Source 
pub fn joint_discharged(members: &[u64], content: u64, facts: &[NQuin]) -> bool
Expand description

Joint obligation O[{members} stit φ]: discharged iff any member saw to it that φ (joint sufficiency). Zero-heap.