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: 
      | [TyconAbbrev(id, binders, kopt, t)] ->
          let env', typars = typars_of_binders env binders in
          let k = match kopt with
              | None ->
                if BU.for_some (function S.Effect -> true | _ -> false) quals
                then teff
                else ktype
              | Some k -> desugar_term env' k in
          let t0 = t in
          let quals = if quals |> BU.for_some (function S.Logic -> true | _ -> false)
                      then quals
  
negative.code: 
    | _ -> []
  
  let mk_typ_abbrev lid uvs typars kopt t lids quals rng =
      let dd = if quals |> List.contains S.Abstract
               then Delta_abstract (incr_delta_qualifier t)
               else incr_delta_qualifier t in
  