electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
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