Module Textual.Terminator

type node_call = {
  1. label : NodeName.t;
  2. ssa_args : Exp.t list;
}
type t =
  1. | If of {
    1. bexp : BoolExp.t;
    2. then_ : t;
    3. else_ : t;
    }
  2. | Ret of Exp.t
  3. | Jump of node_call list
    (*

    non empty list

    *)
  4. | Throw of Exp.t
  5. | Unreachable