Module Statement.OpaqueType

type ('M, 'T) t = {
  1. id : ('M, 'T) Identifier.t;
  2. tparams : ('M, 'T) Type.TypeParams.t option;
  3. impltype : ('M, 'T) Type.t option;
  4. supertype : ('M, 'T) Type.t option;
  5. comments : ('M, unit) Syntax.t option;
}