functions

isone : int -> bool
isone(x)
   == cases x:
         1 -> true,
         others -> false
      end