# Banquo Core

This crate contains the core types and implementations used by the banquo temporal logic monitoring
library. This library is not intended to be used directly, instead you should install the
[banquo](https://crates.io/banquo) crate instead.

## Structs

  - `Trace`
  - `Predicate`
  - `Not`
  - `And`
  - `Or`
  - `Implies`
  - `Next`
  - `Always`
  - `Eventually`
  - `Until`

## Traits

  - `Formula`
  - `Top`
  - `Bottom`
  - `Meet`
  - `Join`