pub fn thread_local_ty() -> Expr
ThreadLocal: a predicate about the local state of a single thread. Type: (State → Prop)