type strategy = | One_for_oneIf one child process terminates and is to be restarted, only that child process is affected. This is the default restart strategy.
*)| One_for_allIf one child process terminates and is to be restarted, all other child processes are terminated and then all child processes are restarted.
*)| Rest_for_oneIf one child process terminates and is to be restarted, the 'rest' of the child processes (that is, the child processes after the terminated child process in the start order) are terminated. Then the terminated child process and all child processes after it are restarted.
*)| Simple_one_for_oneA simplified one_for_one supervisor, where all child processes are dynamically added instances of the same process type, that is, running the same code.
*)val child_spec :
('state -> (Pid.t, [> `Exit of exn ]) result) ->
'state ->
child_specCreate a new child specification to be used with start_link
val start_child : child_spec -> Pid.tval start_link :
?strategy:strategy ->
?restart_limit:int ->
?restart_period:int ->
child_specs:child_spec list ->
unit ->
(Pid.t, [> `Supervisor_error ]) resultDescribe and start a supervisor