Loose_git (git.Loose

module type STORE = sig ... end

module type IO = sig ... end

module Make
  (Scheduler : Carton.SCHEDULER)
  (IO : IO with type +'a t = 'a Scheduler.s)
  (Store : STORE with type +'a fiber = 'a Scheduler.s)
  (Uid : Loose.UID with type t = Store.uid) : 
  sig ... end