Functions which are guaranteed to not call host APIs (absence of the io effect)
return shipOrder(ctx, orderID)
，详情可参考爱思助手
Lily Mae Lazarus
An expandable panel (bottom center).
It is merely my personal understanding, without any guarantee of correctness.