src/cminor/cminorToRTLabs.mli

   1
   2 (** This module translates a [Cminor] program into a [RTLabs] program. *)
   3
   4 (** The main part of the translation is transforming a Cminor program into a
   5     control flow graph. This is done from the end of the program and up to the
   6     beginning. *)
   7
   8 val translate : Cminor.program -> RTLabs.program