electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
type atomic = Ltl.Atomic.t
type ltl = Ltl.t
val convert : Elo.t -> Elo.fml -> string * ltl