# Projection operator for constraints

I was looking at HM(X) framework, Hindley-Milner parameterized by a constraint system X, and I was struggling to understand what does the projection operator $$\exists \alpha$$ does for a constraint. Also, how is this projection operator related to the existential Boolean quantifier?