STM_domain
Module for building parallel STM tests over Stdlib.Domains
Stdlib.Domain
module Make (Spec : STM.Spec) : sig ... end