Function void_element 

pub fn void_element(
    tx: &mut Transaction,
    global_id: &str,
    element: EntityId,
    opening: EntityId,
) -> SpatialAuthoringResult<EntityId>

Stage an IfcRelVoidsElement: an opening cut into an element.

Errors

Refuses a malformed GlobalId and an element voided by itself.