package electrod

  1. Overview
  2. Docs
package electrod
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Msg.WarnSource

Sourceval univ_duplicate_atoms : (('a -> Atom.t list -> Atom.t list -> unit) -> unit) -> unit
Sourceval empty_scope_declared : ((string option -> Raw_ident.t -> unit) -> unit) -> unit
Sourceval duplicate_elements : ((string option -> Raw_ident.t -> [ `Exact | `Inf | `Sup ] -> 'a Fmtc.t -> 'a -> unit) -> unit) -> unit
Sourceval disj_with_only_one_variable : ((string option -> Raw_ident.t -> unit) -> unit) -> unit
Sourceval met_spurious_variable : ((string -> unit) -> unit) -> unit