src/clight/clightToCminor.mli

   1 (** This module translates a {!Clight} program into a {!Cminor}
   2     program. *)
   3
   4 val sizeof_ctype : Clight.ctype -> AST.abstract_size
   5
   6 (** [translate cp] compiles a Clight program into a Cminor program. *)
   7 (* Translation simplifies control structures and explicits memory operations *)
   8
   9 val translate : Clight.program -> Cminor.program