3/4 teaspoon sea salt (optional)

Mexican Lentils in the Instant Pot