Module RacerDDomain.Attribute

type t =
  1. | Nothing
  2. | Functional
    (*

    holds a value returned from a callee marked @Functional

    *)
  3. | OnMainThread
    (*

    boolean is true if the current procedure is running on the main thread

    *)
  4. | LockHeld
    (*

    boolean is true if a lock is currently held

    *)
  5. | Synchronized
    (*

    the object is a synchronized data structure

    *)