.DESLib.DEVSLib.Examples.ATM.PINVerifier.int

Information

Internal Transition Function

Interface

function int
  input st s;
  output st sout;
end int;