Module TypeTracking::TypeBackTracker

Predicates

end

Gets a valid end point of type back-tracking.