B0_editorSourceEditor interaction.
The type for editors.
find ?search ?cmd () finds a suitable editor. This is (in order):
Ok e or Error _ if cmd is specified and according to whether OS.Cmd.get ?search succeedsOk e if pager is a tool invocation parsed from the VISUAL environment variable that can be found via Os.Cmd.find ?search.Ok e if pager is a tool invocation parsed from the EDITOR environment variable that can be found via Os.Cmd.find ?searchOk e if Cmd.tool "nano" can be found via Os.Cmd.find ?search.Error _ otherwise.edit_files editor fs uses editor to edit the files fs. If editor is:
None, an error message is returned mentioning that no editor was found.Some editor invokes the command with files fs and returns the exit status of the program.