Trait mamba::check::name::IsSuperSet

pub trait IsSuperSet<T> {
    fn is_superset_of(
        &self,
        other: &T,
        ctx: &Context,
        pos: Position
    ) -> TypeResult<bool>;
}

Required Methods

fn is_superset_of(
    &self,
    other: &T,
    ctx: &Context,
    pos: Position
) -> TypeResult<bool>

Implementors

impl IsSuperSet<StringName> for StringName

impl IsSuperSet<Name> for Name

impl IsSuperSet<TrueName> for TrueName