Hkt
module Make_sched (T : sig ... end) : Sigs.SCHED with type +'a s = 'a T.t
module Make_store (T : sig ... end) : Sigs.STORE with type ('k, 'v) s = ('k, 'v) T.t