anchor.diff:      let tenv, tparams   = tenv_of_tvmap (List.map some tparams) in
   
       (tparams, mlty_of_ty mlenv tenv (rg, ty))
  -
  -(* -------------------------------------------------------------------- *)
  -(* A table to remember the names of the fields of constructors *)
  -let record_constructors = smap_create<list<ident>>(17)
  -(* A table to remember the arity of algebraic constructors *)
  -let algebraic_constructors = smap_create<int>(40)
   
   (* -------------------------------------------------------------------- *)
   let rec mlpat_of_pat (mlenv : mlenv) (rg : range) (le : lenv) (p : pat) : lenv * mlpattern =
  
positive.code:     ["Microsoft"; "FStar"; "Parser"; "Util"];
  ]
  
  let rec in_ns = function
  | [], _ -> true
  | x1::t1, x2::t2 when (x1 = x2) -> in_ns (t1, t2)
  
negative.code:                                            MLE_Proj (arg, (path_of_ns mlenv (List.rev cons), c.v.ident.idText))
                          | Some f, arg::args -> let ids = List.map (fun x -> x.idText) f in
                            //                     assert (List.mem c.v.ident.idText ids); 
                                             MLE_App (MLE_Proj (arg, (path_of_ns mlenv (List.rev cons), c.v.ident.idText)), args)
                          | _, _ -> MLE_App (mlexpr_of_expr mlenv rg lenv sube, args))
                    | _ -> MLE_App (mlexpr_of_expr mlenv rg lenv sube, args))
  
  