Function interfere_elements 

pub fn interfere_elements(
    tx: &mut Transaction,
    model: &Model,
    global_id: &str,
    relating: EntityId,
    related: EntityId,
    implied_order: Option<bool>,
) -> SpatialAuthoringResult<EntityId>

Stage an IfcRelInterferesElements: a detected clash.

implied_order is ImpliedOrder, an IfcLogical. It says whether the relating/related order carries meaning (which element gives way). None writes UNKNOWN, which is the honest value when a clash detector reports an overlap without deciding precedence.

Bound to the model’s declared release (#213): the record has the release’s own arity, nine attributes in IFC4 and ten in IFC4X3 (InterferenceSpace unset), laid out by name. IFC2X3 declares no IfcRelInterferesElements (EntityNotInSchema).

Errors

Refuses a malformed GlobalId, an element interfering with itself, a header binding no single verified release (MultipleSchemas, UnsupportedSchema) and an IFC2X3 model. Nothing is staged on an error.