EntryType (goblint.Goblint_lib.YamlWitnessType.EntryType)

type t =

| LocationInvariant of LocationInvariant.t
| LoopInvariant of LoopInvariant.t
| FlowInsensitiveInvariant of FlowInsensitiveInvariant.t
| PreconditionLoopInvariant of PreconditionLoopInvariant.t
| InvariantSet of InvariantSet.t
| ViolationSequence of ViolationSequence.t
| GhostInstrumentation of GhostInstrumentation.t

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

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

val hash : t -> int

val entry_type : t -> string

val to_yaml' : 
  t ->
  (string
   * [> `A of
          [> `O of
               (string
                * [> `A of
                       [> `O of
                            (string
                             * [> `O of
                                    (string
                                     * [> `O of (string * Yaml.value) list
                                       | `String of string ])
                                      list ])
                              list ]
                         list
                  | `O of
                    (string
                     * [> `O of
                            (string * [> `Float of float | `String of string ])
                              list
                       | `String of string ])
                      list ])
                 list ]
            list
     | `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
          | `Float of float
          | `String of string ])
         list ])
    list

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