type dynunit = {dynu_name : Misc.modname;dynu_crc : Stdlib.Digest.t;dynu_imports_cmi : Misc.crcs;dynu_imports_cmx : Misc.crcs;dynu_defines : string list;}type dynheader = {dynu_magic : string;dynu_units : dynunit list;}
Cmxs_formattype dynunit = {dynu_name : Misc.modname; |
dynu_crc : Stdlib.Digest.t; |
dynu_imports_cmi : Misc.crcs; |
dynu_imports_cmx : Misc.crcs; |
dynu_defines : string list; |
}type dynheader = {dynu_magic : string; |
dynu_units : dynunit list; |
}