electrod.libelectrod
Libelectrod.Elo_to_ltl1
Functor that provides a Elo_to_LTL_intf.S converter given an implementation of LTL
Elo_to_LTL_intf.S
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) -> 'a list -> bool
module Make (Ltl : Solver.LTL) : sig ... end