> to the start label. I was thinking the structure was more like
>
> structure Function:
> sig
> datatype t =
> T of {
> name: Func.t,
> args: Type.t vector,
> start: Label.t (* must have args of same type as args *)
> blocks: Block.t vector,
> returns: Type.t vector
> }
> end
I'm fine with this.