Definition 3.1 Let τ denote a nonem

Definition 3.1 Let τ denote a nonempty set of constants, called a type. A typed variable
declaration is an expression of one of the following forms:
• xs : τ , where xs is a single-valued variable;
• xm : 2 , where xm is a multi-valued variable.

ผลลัพธ์ (ไทย) 1:

ข้อกำหนด 3.1 ให้แสดงชุดของค่าคงที่ ชนิดที่เรียกว่า nonempty τ ตัวแปรแบบพิมพ์
รายงานคือ ค่าของแบบฟอร์มต่อไปนี้อย่างใดอย่างหนึ่ง:
• xs: τ xs อยู่แปรเป็นค่าเดี่ยว ;
• xm: 2, xm อยู่ตัวแปรหลายค่า

ผลลัพธ์ (ไทย) 2:

นิยาม 3.1 ให้τแสดงชุด nonempty ของค่าคงที่เรียกว่าประเภท ตัวแปรพิมพ์
ประกาศคือการแสดงออกของหนึ่งในรูปแบบดังต่อไปนี้
XS •: τซึ่ง XS เป็นตัวแปรเดียวมูลค่า;
• XM: 2? ที่ XM เป็นตัวแปรหลายมูลค่า

ผลลัพธ์ (ไทย) 3:

คำนิยาม 3.1 ให้τแสดงชุดเซตค่าคงที่ เรียกว่าประเภท เป็นพิมพ์ตัวแปร
ประกาศคือการแสดงออกของหนึ่งในรูปแบบต่อไปนี้ :
- x : τที่ XS เป็นเดียวมูลค่าตัวแปร ;
- : 2  XM XM ที่มูลค่าเป็นหลายตัวแปร