Module Fang_x64.Frame
Parameters
Signature
type 'a ir
= 'a I.t
An IR fragment.
val make : string -> scope list -> t
Define a new frame with the given name and a list of frame parameter scopes.
val name : t -> string
The name of a frame.
val access : address:value ir -> handle -> value ir
access ~address h
is the IR fragment for the frame value referred to by the handle given the addressaddress
of the frame in which the value was allocated.