Docs say ```php echo $a; // "Option.Some(1)" ``` But it should be ```php echo $a; // "Option->Some(1)" ```
Docs say
But it should be