Method wrapper_for

lean_py/marshal.py:636–642

(self, t: TypeRepr)

        return self._decode_inductive(ti, lean_obj.ptr)

    def wrapper_for(self, t: TypeRepr) -> TypeWrapper:
        key = self._key(t)
        if key in self._cache:
            return self._cache[key]
        w = self._build_wrapper(t)
        self._cache[key] = w
        return w

    def _build_wrapper(self, t: TypeRepr) -> TypeWrapper:
        k = t.kind