10 |
sig |
sig |
11 |
|
|
12 |
structure P : PSEUDO_OPS |
structure P : PSEUDO_OPS |
|
structure B : BLOCK_NAMES |
|
13 |
|
|
14 |
datatype ('a,'b,'c,'d,'e,'f) stream = |
datatype ('a,'b,'c,'d,'e,'f) stream = |
15 |
STREAM of |
STREAM of |
20 |
defineLabel : Label.label -> unit, (* define a local label *) |
defineLabel : Label.label -> unit, (* define a local label *) |
21 |
entryLabel : Label.label -> unit, (* define an external label *) |
entryLabel : Label.label -> unit, (* define an external label *) |
22 |
comment : string -> unit, (* emit comment *) |
comment : string -> unit, (* emit comment *) |
|
blockName : B.name -> unit, (* change block name *) |
|
23 |
annotation : Annotations.annotation -> unit, (* add annotation *) |
annotation : Annotations.annotation -> unit, (* add annotation *) |
24 |
exitBlock : 'd -> unit, (* mark the end of a procedure *) |
exitBlock : 'd -> unit, (* mark the end of a procedure *) |
25 |
alias : 'e -> unit, (* generate alias information *) |
alias : 'e -> unit, (* generate alias information *) |