package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. tool : Tool.t;
  2. defaultSourceLanguage : string;
  3. invocations : Invocation.t list;
  4. artifacts : Artifact.t list;
  5. results : Result.t list;
}
val to_yojson : t -> Yojson.Safe.t
val _ : t -> Yojson.Safe.t