package miaou-core

  1. Overview
  2. Docs
package miaou-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file quit_flag.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
(*****************************************************************************)
(*                                                                           *)
(* SPDX-License-Identifier: MIT                                              *)
(* Copyright (c) 2025 Nomadic Labs <contact@nomadic-labs.com>                *)
(*                                                                           *)
(*****************************************************************************)
let pending : bool ref = ref false

let set_pending () = pending := true

let clear_pending () = pending := false

let is_pending () = !pending