YamlWitness.Make
module R : ResultQuery.SpecSysSol2
module NH : sig ... end
module WitnessInvariant : sig ... end
module LH : sig ... end
val location_nodes : Node.t list LH.t Stdlib.Lazy.t
val loop_nodes : Node.t list LH.t Stdlib.Lazy.t
val write : svcomp_result:(Svcomp.Result.t, 'a) Stdlib.result option -> unit