(* This module translates [PP] into [UPP]. *)

val translate_program: PP.program -> UPP.program