functor (OsOperation : OS_SPECIFICATION) -> PATH_SPECIFICATION