package plebeia

  1. Overview
  2. Docs
module type S1 = sig ... end
module Make1 (A : sig ... end) : S1 with type 'a t = 'a A.t
module type S2 = sig ... end
module Make2 (A : sig ... end) : S2 with type ('a, 'z) t = ('a, 'z) A.t