Tamarkin's separation theorem for non-compact objects in cotangent bundles

In this short note, we prove a Tamarkin-type separation theorem for possibly non-compact subsets in cotangent bundles.