Definition of "Hol"

Hol