Module type `Fang_frame.REGISTERS`

Describes the calling-convention for a particular architecture.

val all : box iter: All registers.

val special : box iter: These registers are not available for general-purpose coloring. They serve particular functions, such as storing the stack pointer.

val trashed : box iter: These registers may be written to inside of a subroutine.

val preserved : box iter: From the perspective of the caller, these registers are never modified by a subroutine (the subroutine will save and restore them internally if they are necessary).