let get_norm () = match Norm.get () with | "Let" -> Let | "Exp" -> Exp | "Eqs" -> Eqs | "Cc" -> Cc | m -> abort "Unknown normalization '%s'" m