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