mkILCustomAttrs(List.map(cattr_typ2typ ilg f) cs.AsList)

{fdwith Type=ftype fd.Type;

CustomAttrs=cattrs_typ2typ ilg ftype fd.CustomAttrs}

fd.With(fieldType=ftype fd.FieldType,

customAttrs=cattrs_typ2typ ilg ftype fd.CustomAttrs)

letlocal_typ2typ f(l:ILLocal)={lwith Type= f l.Type}

letvarargs_typ2typ f(varargs:ILVarArgs)= Option.map(List.map f) varargs

letospec_typ2typ f(OverridesSpec(mref,ty))= OverridesSpec(mref_typ2typ f mref, f ty)

let(ftype,filmbody)= fs

letftype'= ftype(Some md)

letbody'= morphILMethodBody(filmbody(Some md)) md.mdBody

{mdwith

GenericParams=gparams_typ2typ ftype' md.GenericParams;

mdBody= body';

Parameters= List.map(param_typ2typ ilg ftype') md.Parameters;

Return= return_typ2typ ilg ftype' md.Return;

CustomAttrs=cattrs_typ2typ ilg ftype' md.CustomAttrs}

letbody'= morphILMethodBody(filmbody(Some md)) md.Body

md.With(genericParams=gparams_typ2typ ftype' md.GenericParams,

body= body',

parameters= List.map(param_typ2typ ilg ftype') md.Parameters,

ret= return_typ2typ ilg ftype' md.Return,

customAttrs=cattrs_typ2typ ilg ftype' md.CustomAttrs)

letfdefs_typ2typ ilg f x= fdefs_fdef2fdef(fdef_typ2typ ilg f) x

{ Overrides= ospec_typ2typ f e.Overrides;

OverrideBy= mspec_typ2typ(f,(fun _-> f)) e.OverrideBy;}

{ ewith

Type= Option.map f e.Type;

AddMethod= mref_typ2typ f e.AddMethod;

RemoveMethod= mref_typ2typ f e.RemoveMethod;

FireMethod= Option.map(mref_typ2typ f) e.FireMethod;

OtherMethods= List.map(mref_typ2typ f) e.OtherMethods;

CustomAttrs= cattrs_typ2typ ilg f e.CustomAttrs}

{ pwith

SetMethod= Option.map(mref_typ2typ f) p.SetMethod;

GetMethod= Option.map(mref_typ2typ f) p.GetMethod;

Type= f p.Type;

Args= List.map f p.Args;

CustomAttrs= cattrs_typ2typ ilg f p.CustomAttrs}

e.With(eventType= Option.map f e.EventType,

addMethod= mref_typ2typ f e.AddMethod,

removeMethod= mref_typ2typ f e.RemoveMethod,

fireMethod= Option.map(mref_typ2typ f) e.FireMethod,

otherMethods= List.map(mref_typ2typ f) e.OtherMethods,

customAttrs= cattrs_typ2typ ilg f e.CustomAttrs)

p.With(setMethod= Option.map(mref_typ2typ f) p.SetMethod,

getMethod= Option.map(mref_typ2typ f) p.GetMethod,

propertyType= f p.PropertyType,

args= List.map f p.Args,

customAttrs= cattrs_typ2typ ilg f p.CustomAttrs)

letpdefs_typ2typ ilg f(pdefs:ILPropertyDefs)= mkILProperties(List.map(pdef_typ2typ ilg f) pdefs.AsList)

letedefs_typ2typ ilg f(edefs:ILEventDefs)= mkILEvents(List.map(edef_typ2typ ilg f) edefs.AsList)

letmimpls_typ2typ f(mimpls:ILMethodImplDefs)= mkILMethodImpls(List.map(mimpl_typ2typ f) mimpls.AsList)

let(ftype,fmdefs)= fs

letftype'= ftype(Some(enc,td)) None

letmdefs'= fmdefs(enc,td) td.Methods

letfdefs'= fdefs_typ2typ ilg ftype' td.Fields

{tdwith Implements= List.map ftype' td.Implements;

GenericParams= gparams_typ2typ ftype' td.GenericParams;

Extends= Option.map ftype' td.Extends;

Methods=mdefs';

NestedTypes=tdefs_typ2typ_ilmbody2ilmbody_mdefs2mdefs ilg(enc@[td]) fs td.NestedTypes;

Fields=fdefs';

MethodImpls= mimpls_typ2typ ftype' td.MethodImpls;

Events= edefs_typ2typ ilg ftype' td.Events;

Properties= pdefs_typ2typ ilg ftype' td.Properties;

CustomAttrs= cattrs_typ2typ ilg ftype' td.CustomAttrs;

td.With(implements= List.map ftype' td.Implements,

genericParams= gparams_typ2typ ftype' td.GenericParams,

extends= Option.map ftype' td.Extends,

methods=mdefs',

nestedTypes=tdefs_typ2typ_ilmbody2ilmbody_mdefs2mdefs ilg(enc@[td]) fs td.NestedTypes,

fields=fdefs',

methodImpls= mimpls_typ2typ ftype' td.MethodImpls,

events= edefs_typ2typ ilg ftype' td.Events,

properties= pdefs_typ2typ ilg ftype' td.Properties,

customAttrs= cattrs_typ2typ ilg ftype' td.CustomAttrs)

morphILTypeDefs(tdef_typ2typ_ilmbody2ilmbody_mdefs2mdefs ilg enc fs) tdefs

match pwith

|PermissionSet(sa,b)->

|ILSecurityDecl(sa,b)->

output_string os" .permissionset"

output_security_action os sa

output_string os" = ("

output_bytes os b

output_string os")"

andgoutput_security_decls env os(ps:ILPermissions)= output_seq""(goutput_permission env) os ps.AsList

andgoutput_security_decls env os(ps:ILSecurityDecls)= output_seq""(goutput_permission env) os ps.AsList

output_string os(tyvar_generator gf.Name);

output_string os" ="; output_parens output_bytes os data

output_string os" .custom";

goutput_mspec env os attr.Method;

output_string os" .custom"

goutput_mspec env os attr.Method

output_custom_attr_data os attr.Data

List.iter(fun attr-> goutput_custom_attr env os attr; output_string os"\n") attrs.AsList

output_string os" .field";

output_string os" .field"

match fd.Offsetwith Some i-> output_string os"["; output_i32 os i; output_string os"]"| None->()

match fd.Marshalwith Some_i-> output_string os"// marshal attribute not printed\n";| None->()

output_member_access os fd.Access;

output_string os"";

if fd.IsStaticthen output_string os" static";

if fd.IsLiteralthen output_string os" literal";

if fd.IsSpecialNamethen output_string os" specialname rtspecialname";

if fd.IsInitOnlythen output_string os" initonly";

if fd.NotSerializedthen output_string os" notserialized";

goutput_typ env os fd.Type;

output_string os"";

output_id os fd.Name;

output_option output_at os fd.Data;

output_option output_field_init os fd.LiteralValue;

output_string os"\n";

output_member_access os fd.Access

output_string os""

if fd.IsStaticthen output_string os" static"

if fd.IsLiteralthen output_string os" literal"

if fd.IsSpecialNamethen output_string os" specialname rtspecialname"

if fd.IsInitOnlythen output_string os" initonly"

if fd.NotSerializedthen output_string os" notserialized"

goutput_typ env os fd.FieldType

output_string os""

output_id os fd.Name

output_option output_at os fd.Data

output_option output_field_init os fd.LiteralValue

output_string os"\n"

goutput_custom_attrs env os fd.CustomAttrs

output_string os")\n"

if md.ImplAttributes&&& MethodImplAttributes.Native<>enum0then output_string os"native"

elif md.ImplAttributes&&& MethodImplAttributes.IL<>enum0then output_string os"cil"

else output_string os"runtime"

output_string os"\n{\n";

goutput_security_decls env os md.SecurityDecls;

goutput_custom_attrs env os md.CustomAttrs;

match md.mdBody.Contentswith

match md.Body.Contentswith

| MethodBody.IL il-> goutput_ilmbody env os il

if is_entrypointthen output_string os" .entrypoint";

elif md.IsConstructorthen"rtspecialname"

elif md.IsStaticthen

(match md.mdBody.Contentswith

(match md.Body.Contentswith

MethodBody.PInvoke(attr)->

"pinvokeimpl(\""^ attr.Where.Name^"\" as\""^ attr.Name^"\""^

(match attr.CallingConvwith

(goutput_mbody is_entrypoint menv) os md;

output_string os"\n"

output_string os"property\n\tgetter:";

(match pd.GetMethodwith None->()| Some mref-> goutput_mref env os mref);

output_string os"\n\tsetter:";

List.iter(fun f->(goutput_pdef env) os f; output_string os"\n") pdefs.AsList

letenv= ppenv_enter_tdef cd.GenericParams env

letlayout_attr,pp_layout_decls= splitTypeLayout cd.Layout

if isTypeNameForGlobalFunctions cd.Namethen

match lambdaswith

| Lambdas_forall(gf,l)->

output_angled(goutput_gparam env) os gf;

output_string os"";

output_angled(goutput_gparam env) os gf

output_string os""

(goutput_lambdas env) os l

| Lambdas_lambda(ps,l)->

output_parens(goutput_param env) os ps;

output_string os"";

output_string os""

(goutput_lambdas env) os l

| Lambdas_return typ-> output_string os"-->";(goutput_typ env) os typ

List.iter(goutput_tdef enc env contents os) td.AsList

output_string os" .ver";

output_u16 os a;

output_string os" :";

output_u16 os b;

output_string os" :";

output_u16 os c;

output_string os" :";

output_string os" .ver"

output_u16 os a

output_string os" :"

output_u16 os b

output_string os" :"

output_u16 os c

output_string os" :"

output_u16 os d

letoutput_locale os s= output_string os" .Locale"; output_qstring os s