module type State : sig ... end
Using linear temporal logic (LTL) to run online queries on sequences of states. A state is a record and the formula talks about values of the fields in this record.
module Make : functor (State : State) -> sig ... end