HasInstanceTerm

catlog::dbl::model_instance

Trait HasInstanceTerm 

Source 
pub trait HasInstanceTerm: DblModel {
    type Term: InstanceTerm<Mor = Self::Mor>;
}
Expand description

A DblModel that has an associated term language for instances.

Each doctrine that wants to support DblModelInstance declares its term type here.

Required Associated Types§

Source

type Term: InstanceTerm<Mor = Self::Mor>

The kind of term used to express equations in instances of this model.

Implementors§