anchor.diff:          | 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
  +        | x -> None // Util.print_any x; None
       in
   
       let rec aux acc (k : knd) =
  
positive.code: 
      match e.n with
      | Exp_app(sube, args) ->
         (match sube.n, args with
            | Exp_fvar (c, false), [_;_;(Inr a1,_);a2] when (c.v.ident.idText = "pipe_left") ->
               mlexpr_of_expr mlenv rg lenv ({e with n = Exp_app (a1, [a2])})
            | Exp_fvar (c, false), [_;_;a1;(Inr a2,_)] when (c.v.ident.idText = "pipe_right") ->
               mlexpr_of_expr mlenv rg lenv ({e with n = Exp_app (a2, [a1])})
            | _, _ ->
         begin
          match is_etuple e with
  
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)
  