As I understand the nomenclature liquid types are refinement types and they are dependent types, but typically when people say "dependent types" without qualification they mean the much more powerful (and difficult) "full" dependent types where you can do stuff like returning an int or a string depending on some runtime value.

https://goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/li...