package electrod

  1. Overview
  2. Docs
type atomic = Ltl.Atomic.t
type ltl = Ltl.t
val convert : Elo.t -> Elo.fml -> string * ltl
OCaml

Innovation. Community. Security.