Entry (goblint.Goblint_lib.YamlWitnessType.Entry)

include module type of struct include Printable.StdLeaf end

include module type of struct include Printable.Std end

val tag : 'a -> 'b

val arbitrary : unit -> 'a

val relift : 'a -> 'a

type t = {

entry_type : EntryType.t;
metadata : Metadata.t;

}

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

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

val hash : t -> int

val name : unit -> string

val to_yaml : 
  t ->
  [> `O of
       (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
                       | `O of
                         (string
                          * [> `O of
                                 (string
                                  * [> `Float of float | `String of string ])
                                   list
                            | `String of string ])
                           list ])
                      list ]
                 list
          | `O of
            (string
             * [> `A of
                    [> `O of
                         (string
                          * [> `A of
                                 [> `O of
                                      (string * [> `String of string ]) list ]
                                   list
                            | `O of
                              (string
                               * [> `Float of float | `String of string ])
                                list
                            | `String of string ])
                           list ]
                      list
               | `Float of float
               | `O of
                 (string
                  * [> `A of Yaml.value list
                    | `O of (string * [> `String of string ]) list
                    | `String of string ])
                   list
               | `String of string ])
              list
          | `String of string ])
         list ]

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

val pp : Stdlib.Format.formatter -> t -> unit

include sig ... end

val show : t -> string

val pretty : unit -> t -> Printable.Pretty.doc

val printXml : 'a BatInnerIO.output -> t -> unit

val to_yojson : t -> [> `String of string ]