better docs

Author: jmagaram

src/Core__Option.resi

@@ -250,9 +250,9 @@ cmp(None, None, clockCompare) // 0
 let cmp: (option<'a>, option<'b>, ('a, 'b) => int) => int
 
 /**
-`exists(option, predicate)` tests whether the option is both `Some` and the predicate applied to its value is true.
+`exists(option, predicate)` tests whether the option is `Some` **and** the predicate applied to its value is true.
 
-An option can be thought of as an array with 0 or 1 items in it. This function is similar to `Array.some` and acts like the "there exists" quantifier in mathematics. In particular it returns false for an "empty" `None` option.
+An option can be thought of as an array with 0 or 1 items in it. `exists` is similar to `Array.some` and acts like the "there exists" quantifier in mathematics. It returns false for a `None` option.
 
 ## Examples
 
@@ -265,9 +265,9 @@ Option.exists(Some(3), i => i < 0) // false
 let exists: (option<'a>, 'a => bool) => bool
 
 /**
-`isNoneOr(option, predicate)` tests whether the option is either `None` or the predicate applied to its value is true.
+`isNoneOr(option, predicate)` tests whether the option is `None` **or** the predicate applied to its value is true.
 
-An option can be thought of as an array with 0 or 1 items in it. This function is similar to `Array.every` and acts like the "for all" quantifier in mathematics. In particular it returns true for an "empty" `None`.
+An option can be thought of as an array with 0 or 1 items in it. `isNoneOr` is similar to `Array.every` and acts like the "for all" quantifier in mathematics. In particular it returns true when the option is `None`.
 
 ## Examples