InvariantKind (goblint.Goblint_lib.YamlWitnessType.InvariantSet.InvariantKind)

type t =

| Invariant of Invariant.t
| Contract of Contract.t

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

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

val hash : t -> int

val invariant_kind : t -> string

val to_yaml : 
  t ->
  [> `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 ]

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