package electrod

  1. Overview
  2. Docs
type atomic = SMV_LTL.Atomic.t
val syms_to_ltl : Elo.t -> (string * SMV_LTL.t) Sequence.t
val split_invar_noninvar_fmls : Elo.t -> Elo.fml list -> Elo.fml list * Elo.fml list * Elo.fml list * Elo.fml list
val dualise_fmls : Elo.fml list -> Elo.fml
OCaml

Innovation. Community. Security.