Type Alias ModalDblModelInstance 

pub type ModalDblModelInstance<Kind> = DblModelInstance<ModalDblModel<Kind>>;

An instance of a model of a modal double theory.

Aliased Type

pub struct ModalDblModelInstance<Kind> { /* private fields */ }