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 (State : State) : sig ... end