Type Alias ObjectType

pub type ObjectType = QualifiedName;

Object types are just qualified names, see DiscreteDblTheory.

Aliased Type

pub struct ObjectType(/* private fields */);