Estoy tratando de escribir una restricción, pero me sale este error : Main.mod:25: operand preceding < has invalid type Context: ...es : sum { ta in Task_Names } Time_Source [ ti , ma , ta...
Estoy tratando de escribir una restricción, pero me sale este error : Main.mod:25: operand preceding < has invalid type Context: ...es : sum { ta in Task_Names } Time_Source [ ti , ma , ta...