Module Sarif

module Sarif: sig .. end

module type Json_type = sig .. end

module type Json_default = sig .. end

module Json_string: Json_type  with type t = string

type 'a dict = (string * 'a) list 

module Json_dictionary: 
functor (J : Json_type) -> Json_type  with type t = J.t dict

module JsonStringDictionary: Json_type  with type t = string dict

module Uri: sig .. end

module Version: sig .. end

module ArtifactLocation: sig .. end

module ArtifactLocationDictionary: Json_type  with type t = ArtifactLocation.t dict

module Custom_properties: Json_type  with type t = Yojson.Safe.t dict

module Properties: sig .. end

module Message: sig .. end

module MultiformatMessageString: sig .. end

module MultiformatMessageStringDictionary: Json_type  with type t = MultiformatMessageString.t dict

module ArtifactContent: sig .. end

module Region: sig .. end

module Rectangle: sig .. end

module PhysicalLocation: sig .. end

module Location: sig .. end

module StackFrame: sig .. end

module Stack: sig .. end

module Additional_properties: Json_default  with type t = string dict

module Stl_importance: sig .. end

module ThreadFlowLocation: sig .. end

module ThreadFlow: sig .. end

module Attachment: sig .. end

module CodeFlow: sig .. end

module Sarif_exception: sig .. end

module Notification_kind: sig .. end

module Notification: sig .. end

module Driver: sig .. end

module Tool: sig .. end

module Invocation: sig .. end

module Conversion: sig .. end

module Edge: sig .. end

module Node: sig .. end

module Edge_traversal: sig .. end

module Role: sig .. end

module Hash: sig .. end

module Graph: sig .. end

module Graph_dictionary: Json_type  with type t = Graph.t dict

module GraphTraversal: sig .. end

module Replacement: sig .. end

module Artifact: sig .. end

module FileChange: sig .. end

module Fix: sig .. end

module ExternalFiles: sig .. end

module LogicalLocation: sig .. end

module RuleConfigLevel: sig .. end

module ReportingConfiguration: sig .. end

module ToolComponentReference: sig .. end

module ReportingDescriptorReference: sig .. end

module ReportingDescriptorRelationship: sig .. end

module ReportingDescriptor: sig .. end

module Result_kind: sig .. end

module Result_level: sig .. end

module Result_suppressionState: sig .. end

module Result_baselineState: sig .. end

module Sarif_result: sig .. end

module VersionControlDetails: sig .. end

module ColumnKind: sig .. end

module RunAutomationDetails: sig .. end

module ExternalPropertyFileReferences: sig .. end

module TranslationMetadata: sig .. end

module ToolComponent: sig .. end

module Address: sig .. end

module WebRequest: sig .. end

module WebResponse: sig .. end

module SpecialLocations: sig .. end

module Run: sig .. end

module Schema: sig .. end