anchor.diff:  	          let tpars = Subst.close_binders tpars in
   	          Subst.close tpars t
             in
  -          [((id, d.doc), [], mk_typ_abbrev id uvs tpars k t [id] quals rng)]
  +          [((id, d.doc), [], mk_typ_abbrev id uvs tpars (Some k) t [id] quals rng)]
   
           | Inl ({ sigel = Sig_inductive_typ(tname, univs, tpars, k, mutuals, _); sigquals = tname_quals }, constrs, tconstr, quals) ->
             let mk_tot t =
  
positive.code:         lbname=Inr (S.lid_as_fv lid dd None);
          lbunivs=uvs;
          lbdef=no_annot_abs typars t;
          lbtyp=U.arrow typars (S.mk_Total k);
          lbeff=C.effect_Tot_lid;
          lbattrs=[];
          lbpos=rng;
  
negative.code:                    sigmeta = default_sigmeta  ;
                     sigattrs = [] }
              else let t = desugar_typ env' t in
                   mk_typ_abbrev qlid [] typars kopt t [qlid] quals rng in
  
          let env = push_sigelt env se in
          let env = push_doc env qlid d.doc in
  