Module Fang_frame

Architecture-independent specification of stack frames.

type scope = [
| `Local
| `Escapes
]

Describes the scope of a value allocated in a stack frame.

type frame_ptr = [
| `No_frame_ptr
| `Frame_ptr of int

A frame pointer is required for this frame and this much space (in byte) is required for local variables.

]

Describes whether a frame requires an explicit frame pointer or not.

module type FRAME = sig ... end
module type REGISTERS = sig ... end

Describes the calling-convention for a particular architecture.