Trait ILiteralConjunction
iso_10303_parts::ap203
pub trait ILiteralConjunction: ISimpleClause { }
impl ILiteralConjunction for LiteralConjunction