The top-level structure for the FI Interface. It contains the following sub-structures:
structure Store structure Object structure Aliens structure LibML structure Diagnostic structure C structure C.Structure structure C.Type structure C.Value structure C.Signature structure C.Function structure C.Diagnostic
In addition to these structures, various standard types used throughout the interface are exported. They are:
type word32 A standard 32-bit value. Equivalent to Word32.word.
type address Address type is 32-bit addresses. Equivalent to word32.
type bytearray Byte array values are supplied using standard MLWorks byte arrays: MLWorks.ByteArray.bytearray.
type name Names are standard ML strings.
type filename Filenames are standard ML strings.
The following sections document each of the Interface sub-structures.