Trait ILiteralDisjunction
iso_10303_parts::ap203
pub trait ILiteralDisjunction: ISimpleClause { }
impl ILiteralDisjunction for LiteralDisjunction