Module Goblint_lib.YamlWitnessVersion

YAML witness format version.

type t =
  1. | V2_0
  2. | V2_1
  3. | V2_1_Goblint
val compare : t -> t -> Ppx_deriving_runtime.int
val to_enum : t -> int
val of_enum : int -> t option
val show : t -> string
include sig ... end
val pretty : unit -> t -> Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]
val of_string : string -> t
val of_option : unit -> t
val min : t -> t -> t
val max : t -> t -> t