Module `Raw_memq.Make`

Construct memq ops, but hide the 'mutex and 'cvar types

Parameters

S : sig ... end

Signature

type 'msg qu = (S.mutex, S.cvar, 'msg) Memq_intf.memq

val make_ops : monad_ops:'t Tjr_monad.monad_ops -> mutex_ops:(S.mutex, S.cvar, 't) Tjr_monad.mutex_ops -> ('msg, 'msg qu, 't) Memq_intf.memq_ops