jon.recoil.org

Module TypeDecl.Equation

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