DHOL

Definition of DHOL