package async_extended

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.