let string_of_prf (prf : t_prf) : string = string_of_prf_raw (prf_raw_of_prf prf)