﻿// For the general tests, modules are prohibited, so everything here should produce an error.
:: { M:M{ param A:i8, var X:r8, msr S:r8 }, R:{M:M{ param A:i8, var X:r8, msr S:r8 }, A:i8} }

module { param A := 3; }
M.A
M.X
M
M => { A: 17 }
Module.Maximize(M, S)
M->Maximize(S)
R
R.A
R.M
R.M.A
module { param A := 3; }.A
module { param A := 3; } => { A: 17 }
