electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
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