Module TypeDecl.Equation

type t = {
  1. params : param list;
  2. private_ : bool;
  3. manifest : TypeExpr.t option;
  4. constraints : (TypeExpr.t * TypeExpr.t) list;
}