package electrod

  1. Overview
  2. Docs
type atomic = Ltl.Atomic.t
type ltl = Ltl.t
val convert : Elo.t -> (Elo.var, Elo.ident) GenGoal.fml -> string * ltl
OCaml

Innovation. Community. Security.