What is the ratio of water to lentils in an instant pot?

ONE POT RED LENTIL DAHL (MASOOR DAL)

Hearty, satisfying, and packed with flavor, this Red Lentil Dahl is the ultimate comfort food, ready in just 30 minutes! ...