Declaration_analysis (iec_checker.IECCheckerAnalysis.Declaration

Declaration analysis: inspect compatibility of the identifiers and their declarations.

module S = IECCheckerCore.Syntax

val run : 
  S.iec_library_element list ->
  IECCheckerCore.Env.t list ->
  IECCheckerCore.Warn.t list