function f(v : number | null) {
  if (v !== null) {
    // この中ではなんとvの型はnumberとして扱われる
    ......
  } else {
  	// この中ではなんとvの型はnullとして扱われる
  }
}