Option (B2R2)

Option Module

Extended Option.

Function or value Description

Function or value	Description
`Option.getWithExn value exn` Full Usage: `Option.getWithExn value exn` Parameters: value : `'a option` exn : `Exception` Returns: `'a`	Unwrap an option type. If the value is None, throw the exception (exn). value : `'a option` exn : `Exception` Returns: `'a`


                
                  
                    
                      Option.getWithExn value exn

Full Usage: Option.getWithExn value exn

Parameters:

value : 'a option

exn : Exception

Returns: 'a

Unwrap an option type. If the value is None, throw the exception (exn).