Driver (frama-c-markdown-report.Markdown

type t = {

name : string;

fullName : string;

version : string;

semanticVersion : string;

fileVersion : string;

downloadUri : string;

informationUri : string;

sarifLoggerVersion : string;

language : string;

properties : Properties.t;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val create : 
  name:string ->
  ?fullName:string ->
  ?version:string ->
  ?semanticVersion:string ->
  ?fileVersion:string ->
  ?downloadUri:string ->
  ?informationUri:string ->
  ?sarifLoggerVersion:string ->
  ?language:string ->
  ?properties:Properties.t ->
  unit ->
  t

val default : t