.DESLib.DEVSLib.Examples.ATM.PINVerifier.initst

Interface

function initst
  output st out;
end initst;