kirin.lattice.mixin.SimpleMeetMixin

← Module overview

classSimpleMeetMixin¶source

kirin.lattice.mixin.SimpleMeetMixin

Bases: BoundedLattice[BoundedLatticeType]

A mixin that provides a simple implementation for the meet operation.

class SimpleMeetMixin

Public import paths

• from kirin.lattice import SimpleMeetMixin
• from kirin.ir.attrs.types import SimpleMeetMixin
• from kirin.analysis.const.lattice import SimpleMeetMixin

methodmeet¶source

kirin.lattice.mixin.SimpleMeetMixin.meet

def meet(other: BoundedLatticeType) -> BoundedLatticeType

Parameters

Name	Type	Description
other	BoundedLatticeType

Returns

BoundedLatticeType

source