.DESLib.DEVSLib.Examples.ATM.BalanceVerifier.balanceVerifier.Fint

Definition

function Fint = int;