electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module type Libelectrod . Elo_to_ltl_intf . S
type atomic
type ltl
val convert : Elo.t -> Elo.fml -> string * ltl