LoadedModule

fun LoadedModule(    name: ResolvedModuleName,     sourceDigest: ByteArray,     module: A_Module,     version: Repository.ModuleVersion,     compilation: Repository.ModuleCompilation)

Construct a new LoadedModule to represent information about an Avail module that has been loaded.

Parameters

name

The name of the module.

sourceDigest

The module source's cryptographic digest.

module

The actual A_Module loaded in the AvailRuntime.

version

The version of the module source.

compilation

Information about the specific ModuleCompilation that is loaded.