In fact, the syntax of Temporal Rover assertions is the same syntax I ve used in the examples above, where assertions taken by the modal operators are surrounded with braces.

 
  • 实际上,Temporal Rover断言的语法与我在上面示例中使用的语法相同,其中,模态操作符采用的断言用花括号括起。
今日热词
目录 附录 查词历史