Module PyIR.Terminator

type node_call = {
  1. label : NodeName.t;
  2. ssa_args : Exp.t list;
}
type t =
  1. | Return of Exp.t
  2. | Jump of node_call
  3. | If of {
    1. exp : Exp.t;
    2. then_ : node_call;
    3. else_ : node_call;
    }
  4. | Throw of Exp.t