module AtomicOrdering:sig..end
load, store, cmpxchg, atomicrmw or
    fence instruction. See llvm::AtomicOrdering.type | | | NotAtomic | |||
| | | Unordered | |||
| | | Monotonic | |||
| | | Invalid | (* | 
removed due to API changes | *) | 
| | | Acquire | |||
| | | Release | |||
| | | AcqiureRelease | |||
| | | SequentiallyConsistent |