Unterchieder SAFE(TYPE) und (TYPE)

Hallo Leute,

ich Programmiere gerade Safety auf Codesys. Nun kann ich für jeden Primitv-Type eine präfix SAFE setzen!? Meine Frage nun, was is der untschiede bspw. zwischen SAFEBOOL und BOOL? bzw. SAFEUINT und UINT?

Danke

Ist eigentlich primär nur ein Schutz des Programmieres vor sich selbst, und dessen potentiell unsicheren Taten.
Sprich wenn eine sichere Bib-Funktion ein Safebool erwartet kann da eben kein "normales" BOOL hin.

Z.B. Du kannst einen sicheren ESTOP Block nicht mit einem normalen Digitaleingang versorgen ...

Mfg
Manuel