Crate mstlo_macros 

Procedural macro for STL (Signal Temporal Logic) formula definitions.

This crate provides the stl! macro for defining STL formulas with a DSL syntax.

Macros

step

Convenience macro to construct a ::mstlo::Step.

stl

The main entry point for the stl! procedural macro.