// 演習2.1
module TypesAndFuncs

// （int型を用いて）偶数の型
let even = x:int{x % 2 = 0}

// 0以上のint型の2つの値を受け取り，それらの和を返す関数
let addfunc (x:int{x >= 0}) (y:int{y >= 0}) : int = x + y

// （if文を用いて）int型の値を受け取り，0未満の値ならtrueをそれ以外はfalseを返す関数
let is_neg (x:int) : bool 
 = if x < 0 then true
   else false