Module FindModel

A utility module for finding models of endpoints.

Chiefly the hasModel predicate is used to determine if a scope has a model.

Import path

import modeling.Util

hasModel	Holds if the given scope has a model as identified by the provided predicate `model`.
pathToScope	Holds if `(type,path)` identifies `scope`.
possibleMemberPathPrefix	returns the prefix of `path` that might be a path to `member`

model