Physlib

Physlib.Meta.Notes.NoteFile

Note file

A note file is a structure which contains the information to go into a note.

1 declaration

definition

Module imports of a note file NN

For a `NoteFile` NN, the `imports` function returns an array of module imports. Each element in the array is an import structure created by mapping each file name ff in the collection N.filesN.\text{files} to its corresponding module.