Trait TypeBehavior
differential_formula::type_system
pub trait TypeBehavior { fn name(&self) -> String; }
fn name(&self) -> String
impl TypeBehavior for BaseType
impl TypeBehavior for Type
impl TypeBehavior for CompositeType
impl TypeBehavior for RangeType
impl TypeBehavior for Undefined
impl TypeBehavior for UnionType