Contract: area-of-disk : number ->

Contract: area-of-disk : number -> number

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

สัญญา: พื้นที่ของดิสก์: -> เลขหมายเลข

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

สัญญา: พื้นที่ของดิสก์: หมายเลข -> จำนวน

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

สัญญา : พื้นที่ดิสก์ : หมายเลข - > หมายเลข