sig
  type t =
      NotAtomic
    | Unordered
    | Monotonic
    | Invalid
    | Acquire
    | Release
    | AcqiureRelease
    | SequentiallyConsistent
end