Goblint_lib.YamlWitnessVersion
YAML witness format version.
type t
val v2_0 : t
val v2_1 : t
val v2_1_goblint : t
val v2_2 : t
val v2_2_goblint : t
val v2_3 : t
val v2_3_goblint : t
val show : t -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
val of_string : string -> t
val of_option : unit -> t
val leq : t -> t -> bool
val meet : t -> t -> t
val join : t -> t -> t