Coqtop Cannot Add File to Load Path

Using Coq
1

Hello, I have Coq 8.16.0 on Windows 10, and am using Coqtop. I’m trying to add files to the load path using -Q, but Coqtop can’t access the files:

coqtop -Q theories/Monad.v theories.Monad
Warning: cannot open theories/Monad.v [cannot-open-path,filesystem]

How should I go about fixing this?

Thanks in advance,
Kalyani

2

-Q takes directories not files, so it should be coqtop -Q theories theories