Segment (goblint.Goblint_lib.YamlWitnessType.ViolationSequence.Segment)

type t = {

segment : Waypoint.t list;

}

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

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