Trait mamba::check::name::ColType

pub trait ColType {
    fn col_type(&self, ctx: &Context, pos: Position) -> TypeResult<Option<Name>>;
}

Required Methods

fn col_type(&self, ctx: &Context, pos: Position) -> TypeResult<Option<Name>>

Implementors

impl ColType for StringName

impl ColType for Name

impl ColType for TrueName