menu
IsSharedIn
import { IsSharedIn } from "destack:memory";
Return whether T resolves to shared space in concrete space S.
1export newtype IsSharedIn<T, const S: Space> = intrinsicimport { IsSharedIn } from "destack:memory";
Return whether T resolves to shared space in concrete space S.
1export newtype IsSharedIn<T, const S: Space> = intrinsic