Natural_deduction : PRF_main.string_of_prf

let string_of_prf_raw (prf : t_prf_raw) : string =
        string_of_prf_raw prf