Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t = {
  1. params : param list;
  2. private_ : bool;
  3. manifest : 'a TypeExpr.t option;
  4. constraints : ('a TypeExpr.t * 'a TypeExpr.t) list;
}