TranslationMetadata (frama-c-markdown-report.Markdown

type t = {

name : string;

fullName : string;

shortDescription : MultiformatMessageString.t;

fullDescription : MultiformatMessageString.t;

downloadUri : string;

informationUri : 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 ->
  ?shortDescription:MultiformatMessageString.t ->
  ?fullDescription:MultiformatMessageString.t ->
  ?downloadUri:string ->
  ?informationUri:string ->
  ?properties:Properties.t ->
  unit ->
  t

val default : t