LOCAL the_reverse : oriented_path ; END_LOCAL ; IF ( 'topology_schema.oriented_path' IN TYPEOF ( a_path ) ) THEN the_reverse := dummy_tri || path ( list_of_topology_reversed ( a_path . edge_list ) ) || oriented_path ( a_path \ oriented_path . path_element , NOT ( a_path \ oriented_path . orientation ) ) ; ELSE the_reverse := dummy_tri || path ( list_of_topology_reversed ( a_path . edge_list ) ) || oriented_path ( a_path , FALSE ) ; END_IF ; RETURN ( the_reverse ) ;