functor (OsOperation : OS_SPECIFICATION-> PATH_SPECIFICATION