package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Pid = IntDomain.Flattened
module Pri : sig ... end
module Per = IntDomain.Flattened
module Cap = IntDomain.Flattened
module Pmo = IntDomain.Flattened
module PrE = IntDomain.Flattened
module Ctx = IntDomain.Flattened
module Pred : sig ... end
type process = {
  1. pid : Pid.t;
  2. pri : Pri.t;
  3. per : Per.t;
  4. cap : Cap.t;
  5. pmo : Pmo.t;
  6. pre : PrE.t;
  7. pred : Pred.t;
  8. ctx : Ctx.t;
}
val equal_process : process -> process -> Ppx_deriving_runtime.bool
val compare_process : process -> process -> Ppx_deriving_runtime.int
val process_to_yojson : process -> Yojson.Safe.t
val _ : process -> Yojson.Safe.t
module D : sig ... end