InvariantSet (goblint.Goblint_lib.YamlWitnessType.InvariantSet)

module LoopInvariant : sig ... end

module LocationInvariant : sig ... end

module LoopTransitionInvariant : sig ... end

module LocationTransitionInvariant : sig ... end

module FlowInsensitiveInvariant : sig ... end

module InvariantType : sig ... end

module Invariant : sig ... end

module FunctionContract : sig ... end

module ContractType : sig ... end

module Contract : sig ... end

module InvariantKind : sig ... end

type t = {

content : InvariantKind.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 : t -> YamlWitnessVersion.t

val to_yaml' : 
  t ->
  (string
   * [> `A of
          [> `O of
               (string
                * [> `O of
                       (string
                        * [> `A of [> `String of string ] 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