Struct boogie_backend::boogie_wrapper::ModelValueVector
source · pub struct ModelValueVector { /* private fields */ }
Expand description
Represents a spare representation of a model value vector.
pub struct ModelValueVector { /* private fields */ }
Represents a spare representation of a model value vector.