条款类型理论中的命令语义 | Synapse