Method __instancecheck__

lean_py/marshal.py:206–212

(cls, instance)

        return LeanInductiveValue(cls._type_name, cls._ctor_name, cls._tag, converted)

    def __instancecheck__(cls, instance):
        if isinstance(instance, LeanInductiveValue):
            return instance.ctor == cls._ctor_name and instance._type_name == cls._type_name
        if type(instance) is _CtorMeta:
            # Allow isinstance(Color.red, Color.red) — both are _CtorMeta classes
            return instance._ctor_name == cls._ctor_name and instance._type_name == cls._type_name
        return False

    def __repr__(cls):
        return f"{cls._type_name}.{cls._ctor_name}"