jon.recoil.org

Module Linear_utils

Miscellaneous utility functions on Linear code.

type labelled_insn = {
  1. label : Label.t;
  2. insn : Linear.instruction;
}
val labelled_insn_end : Linear_utils.labelled_insn
val defines_label : Linear.instruction -> bool