Up
Module
Ltl
Signature
module type
State
= sig .. end
Using linear temporal logic (LTL) to run online queries on sequences of states.
module
Make
(
State
:
State
) : sig .. end