Group (cloakaml.Group)

module Kind : sig ... end

module type S = sig ... end

module Make
  (R : Role.S) : 
  S
    with type role = R.t
     and type role_kind = R.kind
     and type role_alignment = R.alignment