YamlWitnessType.EntryType
type t =
| LocationInvariant of LocationInvariant.t
| LoopInvariant of LoopInvariant.t
| FlowInsensitiveInvariant of FlowInsensitiveInvariant.t
| PreconditionLoopInvariant of PreconditionLoopInvariant.t
| LoopInvariantCertificate of LoopInvariantCertificate.t
| PreconditionLoopInvariantCertificate of PreconditionLoopInvariantCertificate.t
| InvariantSet of InvariantSet.t
val entry_type : t -> string
val to_yaml' :
t ->
(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
| `O of (string * [> `Float of float | `String of string ]) list ])
list
val of_yaml : Yaml.value -> (t, [ `Msg of string ]) Stdlib.result