assemblygood first issueon hold
Repository metrics
- Stars
- (753 stars)
- PR merge metrics
- (PR metrics pending)
Description
Possible options: ModuleManifest, ModuleDescriptor, ModuleMetadata. My personal preference would be either "descriptor" or "metadata" (with a slight preference towards "descriptor").
This is to be done after https://github.com/0xMiden/miden-vm/pull/2877 is merged.
Context https://github.com/0xMiden/miden-vm/pull/2877#discussion_r2997319102