Banquo Core

本crate包含Banquo时间逻辑监视库使用的核心类型和实现。本库不推荐直接使用，而是应该安装banquo crate。

结构体

• Trace
• Predicate
• Not
• And
• Or
• Implies
• Next
• Always
• Eventually
• Until

特质

• Formula
• Top
• Bottom
• Meet
• Join