Goblint_lib.DomainProperties
QCheck properties for lattice properties.
module DomainTest (D : Lattice.S) : sig ... end
module type S = sig ... end
module Equal (D : Lattice.S) : S
module Leq (D : Lattice.S) : S
module Join (D : Lattice.S) : sig ... end
module Meet (D : Lattice.S) : S
module Bot (D : Lattice.S) : S
module Top (D : Lattice.S) : S
module Connect (D : Lattice.S) : S
module Widen (D : Lattice.S) : S
module Narrow (D : Lattice.S) : S
module All (D : Lattice.S) : S
module AllNonAssoc (D : Lattice.S) : S