Additional operations on Option
Function or value | Description |
Full Usage:
Option.traverse f _arg1
Parameters:
'a -> ^b
_arg1 : 'a option
Returns: ^c
Modifiers: inline |
|