memberx.WithStatic(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition FieldAttributes.Static}

memberx.WithSpecialName(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition(FieldAttributes.SpecialName||| FieldAttributes.RTSpecialName)}

memberx.WithNotSerialized(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition FieldAttributes.NotSerialized}

memberx.WithLiteral(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition FieldAttributes.Literal}

memberx.WithHasDefault(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition FieldAttributes.HasDefault}

memberx.WithLiteralDefaultValue(literal)={ xwith LiteralValue= literal; Attributes= x.Attributes|> conditionalAdd literal.IsSome(FieldAttributes.Literal||| FieldAttributes.HasDefault)}

memberx.WithHasFieldMarshal(condition)={ xwith Attributes= x.Attributes|> conditionalAdd condition FieldAttributes.HasFieldMarshal}

letilFieldDef= mkILStaticField(fspec.Name, fty, None, None, access)

match vref.LiteralValuewith

| Some konst->{(ilFieldDef.WithHasDefault(true)).WithLiteral(true)with LiteralValue=Some(GenFieldInit m konst)}

| Some konst-> ilFieldDef.WithLiteralDefaultValue(Some(GenFieldInit m konst))

| None-> ilFieldDef

{ Name= ilFieldName

Type= ilPropType

Attributes=enum0

Data= None

LiteralValue=literalValue

Data= None

LiteralValue=None

Offset= ilFieldOffset

Marshal= ilFieldMarshal

CustomAttrs= mkILCustomAttrs(GenAttrs cenv eenv fattribs@ extraAttribs)}

.WithStatic(isStatic)

.WithSpecialName(ilFieldName="value__"&& tycon.IsEnumTycon)

.WithNotSerialized(ilNotSerialized)

.WithLiteral(fspec.LiteralValue.IsSome)

.WithHasDefault(literalValue.IsSome)

.WithLiteralDefaultValue(literalValue)

.WithHasFieldMarshal(ilFieldMarshal.IsSome)

yield fdef