Ts_intf.Intf
module type T = T
module type S = S
module Make (R : sig ... end) : T with type label = R.label