Skip to main content

OP_OBLIGATE

qualia_core_db::modalities::logic::deontic

Constant OP_OBLIGATE 

Source 
pub const OP_OBLIGATE: u8 = 0x10;
Expand description

O(φ) — the subject party must perform the action.