IECCheckerAnalysis.Use_define
module S = IECCheckerCore.Syntax
val run : S.iec_library_element list -> IECCheckerCore.Warn.t list