GhostInstrumentation (goblint.Goblint_lib.YamlWitnessType.GhostInstrumentation)

module Initial : sig ... end

module Variable : sig ... end

module Update : sig ... end

module LocationUpdate : sig ... end

type t = {

ghost_variables : Variable.t list;
ghost_updates : LocationUpdate.t list;

}

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

val entry_type : string

val to_yaml' : 
  t ->
  (string
   * [> `O of
          (string
           * [> `A of
                  [> `O of
                       (string
                        * [> `A of
                               [> `O of (string * [> `String of string ]) list ]
                                 list
                          | `O of
                            (string * [> `Float of float | `String of string ])
                              list
                          | `String of string ])
                         list ]
                    list ])
            list ])
    list

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