Trait InstanceTerm 

pub trait InstanceTerm {
    type Mor;
}

A term in the language of an instance of some model.

Each doctrine implements its own concrete term type. The associated Mor type ties the term language to a particular model’s morphism type.

Required Associated Types

type Mor

The type of morphisms from the associated model.

Implementors

impl InstanceTerm for DiscreteInstanceTerm

type Mor = Path<QualifiedName, QualifiedName>

impl InstanceTerm for ModalInstanceTerm

type Mor = ModalMor