Https Ameli Declare Definition