chore: improve docs

algebraic-dev · algebraic-dev · commit add268b68582 · 2024-12-03T10:35:32.000-03:00
diff --git a/src/Std/Internal/UV.lean b/src/Std/Internal/UV.lean
@@ -23,7 +23,8 @@ structure Loop.Options where
   accumulateIdleTime : Bool := False
 
   /--
-  Block a signal when polling for new events
+  Block a SIGPROF signal when polling for new events. It's commonly used for unnecessary wakeups
+  when using a sampling profiler.
   -/
   blockSigProfSignal : Bool := False
 
