diff options
| author | Pierre-Marie Pédrot | 2021-01-14 19:12:11 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-14 19:12:11 +0100 |
| commit | eb25e63d58555a67b74a046b8bdf2ab6252164c0 (patch) | |
| tree | b3deef1089255b400e66cb540c315d629aff4108 /engine/logic_monad.mli | |
| parent | b8a3ebaa9695596f062298f5913ae4f4debb0124 (diff) | |
| parent | 00a09f2cc4a8f4b6baeca0a474e5ab4062ff0f97 (diff) | |
Merge PR #13378: Add support for high resolution timeout functions
Ack-by: SkySkimmer
Ack-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'engine/logic_monad.mli')
| -rw-r--r-- | engine/logic_monad.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/logic_monad.mli b/engine/logic_monad.mli index 7784b38c80..5208469082 100644 --- a/engine/logic_monad.mli +++ b/engine/logic_monad.mli @@ -74,7 +74,7 @@ module NonLogical : sig (** [try ... with ...] but restricted to {!Exception}. *) val catch : 'a t -> (Exninfo.iexn -> 'a t) -> 'a t - val timeout : int -> 'a t -> 'a option t + val timeout : float -> 'a t -> 'a option t (** Construct a monadified side-effect. Exceptions raised by the argument are wrapped with {!Exception}. *) |