spec MENU = enrich STRING + NAT by sorts menu , courses opns Name : menu → string Courses : menu → courses Price : menu → nat set_name : menu , string ...
確定! 回上一頁