Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Elo_to_model1 » Make » ConvertFormulas

Parameter `Make.ConvertFormulas`

type atomic = Ltl.Atomic.t

type ltl = Ltl.t

val convert : Elo.t -> Elo.fml -> string * ltl