You can search for identifiers within the package.
in-package search v0.2.0
dscheck
Dscheck.Atomic_op
type t =
| Start
| Make
| Get
| Set
| Exchange
| CompareAndSwap of [ `Success | `Fail | `Unknown of unit -> [ `Success | `Fail ] ] ref
| FetchAndAdd
val to_str : t -> string
val is_write : ?allow_unknown:??? -> t -> bool
val weak_cmp : t -> t -> bool