• en

Module Liveness

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