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

Definition

function initState = initst;

Generated at 2025-08-16T18:21:06Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos