Parameter Analysis.2-R
val first : fact -> Node.first -> fact
first fact n
is a fact for the entry into the first node in a block,n
, given the currently-known fact for the entry into the next node.
val middle : fact -> Node.middle -> fact
middle fact n
is a fact for the entry into an assembly node in a block,n
, given the currently-known fact for the entry into the next node.