package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type return_code =
  1. | SUCCESS
  2. | ERROR
and partition_mode =
  1. | IDLE
  2. | COLD_START
  3. | WARM_START
  4. | NORMAL
and status =
  1. | NOTCREATED
  2. | STOPPED
  3. | SUSPENDED
  4. | WAITING
  5. | READY
  6. | DONE
and waiting_for =
  1. | NONE
  2. | BLACKBOARD
  3. | SEMA
  4. | EVENT
  5. | TIME
and queuing_discipline =
  1. | FIFO
  2. | PRIO
val show_return_code : return_code -> Ppx_deriving_runtime.string
val show_partition_mode : partition_mode -> Ppx_deriving_runtime.string
val show_status : status -> Ppx_deriving_runtime.string
val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string
val show_queuing_discipline : queuing_discipline -> Ppx_deriving_runtime.string
val min_return_code : int
val max_return_code : int
val return_code_to_enum : return_code -> int
val return_code_of_enum : int -> return_code option
val min_partition_mode : int
val max_partition_mode : int
val partition_mode_to_enum : partition_mode -> int
val partition_mode_of_enum : int -> partition_mode option
val min_status : int
val max_status : int
val status_to_enum : status -> int
val status_of_enum : int -> status 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 min_queuing_discipline : int
val max_queuing_discipline : int
val queuing_discipline_to_enum : queuing_discipline -> int
val queuing_discipline_of_enum : int -> queuing_discipline option
val extract_types : string list
val init : ?nproc:int -> ?nsema:int -> ?nevent:int -> ?nbboard:int -> unit -> unit * string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct