Initial New 0 Deriving
Initial Constant
Out: Name Initial OK
Initial modulo 0 finite
Initial Constant NUM
Initial NONE -1 IP 0
RMP_GVL (GVL) ¶ InOut: Name Type Initial Comment g
Initial Comment
Initial S1 0 S2 1 R1 2
Initial Constant Plc