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