.DESLib.DEVSLib.Examples.ATM.BalanceVerifier.balanceVerifier.initState

Definition

function initState = initst;