Trait IComplexDisjunctiveClause
iso_10303_parts::ap203
pub trait IComplexDisjunctiveClause: IComplexClause { }
impl IComplexDisjunctiveClause for ComplexDisjunctiveClause