and TcPatBindingName cenv env id ty isMemberThis vis1 topValData (inlineFlag,declaredTypars,argAttribs,isMutable,vis2,compgen) (names,takenNames:Set<string>) =

let vis = if Option.isSome vis1 then vis1 else vis2

if takenNames.Contains id.idText then errorR (VarBoundTwice id)

let compgen = compgen || IsCompilerGeneratedName id.idText

let baseOrThis = if isMemberThis then MemberThisVal else NormalVal

let names = Map.add id.idText (PrelimValScheme1(id,declaredTypars,ty,topValData,None,isMutable,inlineFlag,baseOrThis,argAttribs,vis,compgen)) names

let takenNames = Set.add id.idText takenNames