package electrod

  1. Overview
  2. Docs
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