ChangeMandate

Primitive เชิงกำหนดสำหรับการเปรียบเทียบความแตกต่างของการอนุญาต ซึ่งใช้กำหนดว่าการเปลี่ยนแปลงธุรกรรมหลังการซื้อจำเป็นต้องมีการอนุญาตใหม่หรือไม่