Module Liveness

val reset : unit -> unit
val fundecl : Mach.fundecl -> unit