| 274 | /// A model of a construct into SMT-LIB (currently, types or enums) |
| 275 | #[derive(Clone, PartialEq, Eq, Debug)] |
| 276 | pub struct Model { |
| 277 | /// The name of the type or enum |
| 278 | pub name: Ident, |
| 279 | /// The value of the type or enum (potentially multiple values) |
| 280 | pub val: ModelValue, |
| 281 | } |
| 282 | |
| 283 | #[derive(Clone, PartialEq, Eq, Debug)] |
| 284 | pub struct Signature { |