Module Class.Implements

module Interface : sig ... end
type ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' = {
  1. interfaces : ('M, 'T) Interface.t list;
  2. comments : ('M, unit) Syntax.t option;
}