jacket
Search the docs
/
API
Tools
Playground
0.31.0
Codex module
← Codex
Types
Metrics
Revision_Control_Type
Module_Record
File_Record
Procedure_Record
Header_Record
Codex_Help
On this page
Fields
See also
std
/
Codex
/
Module_Record
Module_Record
struct
Source
Fields
module_type
:
type_of(
Compiler.Message_Import
.module_type)
module_name
:
Relative.Relative_String
(
s16
)
fully_pathed_filename
:
Relative.Relative_String
(
s16
)
See also
Metrics
Revision_Control_Type
File_Record
Procedure_Record