package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type process = {
  1. pid : id;
  2. f : CilType.Varinfo.t;
  3. pri : int64;
  4. per : time;
  5. cap : time;
}
val show_process : process -> Ppx_deriving_runtime.string
type semaphore = {
  1. sid : id;
  2. cur : int64;
  3. max : int64;
  4. queuing : int64;
}
val show_semaphore : semaphore -> Ppx_deriving_runtime.string