Type Alias DiscreteDblModelInstance 

pub type DiscreteDblModelInstance = DblModelInstance<DiscreteDblModel>;

An instance of a model of a discrete double theory.

Aliased Type

pub struct DiscreteDblModelInstance { /* private fields */ }