サンクスです。じゃ、たとえば

let equal_one x = if x = 1 then (Some("ok")) else None;;

とか定義すると

val equal_one : int -> string option = <fun>

とかなって、上の option の意味するニュアンスは、
「値があるなら戻り値は string 型を内包する Some だお」
「値がないなら一律で None だお」
と言っているわけですね？