anchor.diff:      onlerefs: Table<int * int[]> 
       osimpletys: Table<int>
       oglobals : TcGlobals
  +    mutable isStructThisArgPos : bool
       ofile : string
       /// Indicates if we are using in-memory format, where we store XML docs as well
       oInMem : bool
  
positive.code: 
  let _ = fill_p_ty (fun ty st ->
      let ty = stripTyparEqns ty
      match ty with 
      | TType_tuple (tupInfo,l) -> 
            if evalTupInfoIsStruct tupInfo then 
  
negative.code:         osimpletys=Table<_>.Create "osimpletys"  
          oglobals=g
          ofile=file
          oInMem=inMem
          isStructThisArgPos = false}
      p x st1
      let sizes = 
        st1.otycons.Size,
  