Saya ingin lex contoh kode berikut: prop levelBasedAlerter uni { a b } \I -> levelBasedAlerter a | a > I -> b: "ALERT: %a" Ini seharusnya Prop Var "levelBasedAlerter" Uni PortSpecS " { a b }" Lam ....
21 April 2021, 19:24