anchor.diff:          let lenv = lenv_of_mlenv mlenv in
           Some (Inr (MLM_Top (mlexpr_of_expr mlenv rg lenv e)))
   
  +    | Sig_typ_abbrev (_, _, _, _, qal, _) when (not (export_val qal)) -> None
       | Sig_typ_abbrev (t, tps, k, ty, _, rg) -> begin
           let ar =
               match mlkind_of_kind tps k with
  
positive.code:         | Inl ({v=x; sort={n=Kind_type}}), _ -> Some (x.realname, x.ppname)
  //        | Inr ({v=x}), _ -> Some (x.realname, x.ppname)
  //        | Inr ({sort={n=Typ_const {v=x; sort={n=Kind_type}}}}), _ -> Some (x.ident, x.ident)
          | x -> Util.print_any x; None
      in
  
      let rec aux acc (k : knd) =
  
negative.code:                         Rec (x.ident.idText, f, cs, snd (tenv_of_tvmap ar), rg))
                      | _, _ -> DT (x.ident.idText, cs, snd (tenv_of_tvmap ar), rg) in
                  (ty :: types, ctors)
                end
  
              | Sig_datacon (x, ty, pr, _, rg) ->
                 (types, (x.ident.idText, (ty, pr)) :: ctors)
  