Textual.Body
type t = {
nodes : Node.t list;
locals : (VarName.t * Typ.annotated) list;
}
val dummy : Location.t -> t