package frama-c

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sarif.Result_levelSource

Sourcetype t = private string
Sourceval none : t
Sourceval note : t
Sourceval warning : t
Sourceval error : t
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval of_yojson : Yojson.Safe.t -> (t, string) result
OCaml

Innovation. Community. Security.