package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type state =
  1. | SUSPENDED
  2. | WAITING
  3. | READY
and waiting_for =
  1. | NONE
  2. | EVENT
  3. | RESOURCE
val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string
val min_state : int
val max_state : int
val state_to_enum : state -> int
val state_of_enum : int -> state option
val min_waiting_for : int
val max_waiting_for : int
val waiting_for_to_enum : waiting_for -> int
val waiting_for_of_enum : int -> waiting_for option
val init : 'a -> unit * string