支付宝海底捞200-42代金券如何使用？

之前19号领的，有人知道这个200-42劵怎么用吗？今天21:14分结账用支付宝扫码结算的，没有出卷。
有人用过吗？难道是要在支付宝小程序里点单吗？
————