ViolationSequence (goblint.Goblint_lib.YamlWitnessType.ViolationSequence)

module Constraint : sig ... end

module Assumption : sig ... end

module Target : sig ... end

module FunctionEnter : sig ... end

module FunctionReturn : sig ... end

module Branching : sig ... end

module WaypointType : sig ... end

module Waypoint : sig ... end

module Segment : sig ... end

type t = {

content : Segment.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 min_version : 'a -> YamlWitnessVersion.t

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 ])
                 list ]
            list ])
    list

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