LOCAL the_reverse : oriented_face ; END_LOCAL ; IF ( 'topology_schema.oriented_face' IN TYPEOF ( a_face ) ) THEN the_reverse := dummy_tri || face ( set_of_topology_reversed ( a_face . bounds ) ) || oriented_face ( a_face \ oriented_face . face_element , NOT ( a_face \ oriented_face . orientation ) ) ; ELSE the_reverse := dummy_tri || face ( set_of_topology_reversed ( a_face . bounds ) ) || oriented_face ( a_face , FALSE ) ; END_IF ; RETURN ( the_reverse ) ;