RoboML in Langium by Yazid & Thomas
×
RoboML Type checking errors
×
RoboML Type checking validation
Your code is correctly typed.