TypeDecl.Equation
type t = {
params : param list;
private_ : bool;
manifest : TypeExpr.t option;
constraints : (TypeExpr.t * TypeExpr.t) list;
}