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