electrod.libelectrod
LTL_from_Atomic.Infix
val (!!) : t -> t
val (+||) : t -> t Lazy.t -> t
val (+&&) : t -> t Lazy.t -> t
val (@=>) : t -> t Lazy.t -> t
val (@<=>) : t -> t -> t