Metadata (goblint.Goblint_lib.YamlWitnessType.Metadata)

type t = {

format_version : string;
uuid : string;
creation_time : string;
producer : Producer.t;
task : Task.t option;

}

val to_yaml : 
  t ->
  [> `O of
       (string
        * [> `O of
               (string
                * [> `A of Yaml.value list
                  | `O of (string * [> `String of string ]) list
                  | `String of string ])
                 list
          | `String of string ])
         list ]

val of_yaml : Yaml.value -> (t, [ `Msg of string ]) Stdlib.result