.DESLib.DEVSLib.Examples.ATM.PINVerifier.pinVerifier.initState

Definition

function initState = initst;