.DESLib.DEVSLib.Examples.ATM.BalanceVerifier.ta

Interface

function ta
  input st s;
  output Real sigma;
end ta;