Adding indexScope.mli