Predicate FindModel::pathToScope
Holds if (type,path) identifies scope.
Import path
import modeling.Utilpredicate pathToScope(RelevantScope scope, string type, string path)Holds if (type,path) identifies scope.
import modeling.Utilpredicate pathToScope(RelevantScope scope, string type, string path)