Module `Goblint_lib.YamlWitnessType`

YAML witness format types.

module Producer : sig ... end

module Task : sig ... end

module Metadata : sig ... end

module Location : sig ... end

module InvariantSet : sig ... end

module ViolationSequence : sig ... end

module GhostInstrumentation : sig ... end

module EntryType : sig ... end

module Entry : sig ... end