Press CTRL+C or CMD+C to copy the selected text and close this dialog.
Tweet
2 people like it. Like the snippet!
Trying to set a string option
1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11:
type Config = { home_folder: string option } let default_config: Config = { home_folder: None} let server_config = { default_config with home_folder = address }