anchor.diff:      p_bool pkey.MemberIsOverride st 
       p_string pkey.LogicalName st 
       p_int pkey.TotalArgCount st 
  +    let isStructThisArgPos = 
  +        match key.TypeForLinkage with 
  +        | None -> false
  +        | Some ty -> checkForInRefStructThisArg st ty
  +    st.isStructThisArgPos <- isStructThisArgPos
       p_option p_ty key.TypeForLinkage st
  +    st.isStructThisArgPos <- false
   
   let rec p_vref ctxt x st = 
       match x with 
  
positive.code:        osimpletys=Table<_>.Create "osimpletys (fake)"
         oglobals=g
         ofile=file
         oInMem=inMem }
      p_tup7
        (p_array p_encoded_ccuref) 
        (p_tup3 p_int p_int p_int) 
  
negative.code:               p_byte 0 st; p_tys l st
      | TType_app(ERefNonLocal nleref,[]) -> p_byte 1 st; p_simpletyp nleref st
      | TType_app (tc,tinst)              -> p_byte 2 st; p_tup2 (p_tcref "typ") p_tys (tc,tinst) st
      | TType_fun (d,r)                   -> 
          p_byte 3 st
          p_ty d st
          st.isStructThisArgPos <- false
          p_ty r st
      | TType_var r                       -> p_byte 4 st; p_tpref r st
      | TType_forall (tps,r)              -> p_byte 5 st; p_tup2 p_tyar_specs p_ty (tps,r) st
      | TType_measure unt                 -> p_byte 6 st; p_measure_expr unt st
  