electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Msg . Warn
val univ_duplicate_atoms : ( ( 'a -> Atom.t list -> Atom.t list -> unit ) -> unit ) -> unit
val empty_scope_declared : ( ( string option -> Raw_ident.t -> unit ) -> unit ) -> unit
val duplicate_elements : ( ( string option -> Raw_ident.t -> [ `Exact | `Inf | `Sup ] -> 'a Fmtc.t -> 'b -> unit ) -> unit ) -> unit
val disj_with_only_one_variable : ( ( string option -> Raw_ident.t -> unit ) -> unit ) -> unit
val met_spurious_variable : ( ( string -> unit ) -> unit ) -> unit