YamlWitnessType (goblint.Goblint

module Producer : sig ... end

module Task : sig ... end

module Metadata : sig ... end

module Location : sig ... end

module Invariant : sig ... end

module LoopInvariant : sig ... end

module LocationInvariant : sig ... end

module FlowInsensitiveInvariant : sig ... end

module PreconditionLoopInvariant : sig ... end

module InvariantSet : sig ... end

module Target : sig ... end

module Certification : sig ... end

module LoopInvariantCertificate : sig ... end

module PreconditionLoopInvariantCertificate : sig ... end

module EntryType : sig ... end

module Entry : sig ... end