package electrod

  1. Overview
  2. Docs

Functor that provides a Elo_to_LTL_intf.S converter given an implementation of LTL

module G = Elo
module TS = Tuple_set
type stack = Tuple.t list
val pp_subst : Format.formatter -> Tuple.t Containers.List.t -> unit
val all_different : eq:('a -> 'a -> bool) -> 'b list -> bool
module Make (Ltl : Solver.LTL) : sig ... end