Trait kailua_types::ty::Lattice [−] [src]

pub trait Lattice<Other = Self> {
    fn assert_sub(&self, other: &Other, ctx: &mut TypeContext) -> TypeResult<()>;

    fn assert_eq(&self, other: &Other, ctx: &mut TypeContext) -> TypeResult<()>;
}

Any types with subtyping or equivalence relations.

Required Methods

Asserts that self is a consistent subtype of other under the type context.

Asserts that self is a consistent type equal to other under the type context.

Implementors