sig
  exception Error of string
  exception Parse_error of string
  val prf_raw_of_prf_seq :
    ?print_tokens:bool -> PRF_sequencer.t_prf_seq -> PRF_types.t_prf_raw
  val prf_raw_of_string :
    ?print_trace:bool -> ?print_tokens:bool -> string -> PRF_types.t_prf_raw
  val prf_raw_of_file :
    ?print_trace:bool -> ?print_tokens:bool -> string -> PRF_types.t_prf_raw
  val prf_raw_of_stdin :
    ?print_trace:bool -> ?print_tokens:bool -> unit -> PRF_types.t_prf_raw
  val fml_of_fml_raw : PRF_types.t_fml_raw -> FML_types.t_fml
  val prf_of_prf_raw : PRF_types.t_prf_raw -> PRF_types.t_prf
  val prf_of_file :
    ?print_trace:bool -> ?print_tokens:bool -> string -> PRF_types.t_prf
  val prf_of_string :
    ?print_trace:bool -> ?print_tokens:bool -> string -> PRF_types.t_prf
  val prf_of_stdin :
    ?print_trace:bool -> ?print_tokens:bool -> unit -> PRF_types.t_prf
  val string_of_prf_raw : PRF_types.t_prf_raw -> string
  val string_of_prf : PRF_types.t_prf -> string
  val transform_prf :
    (FML_types.t_fml -> FML_types.t_fml) ->
    PRF_types.t_prf -> PRF_types.t_prf
  val subst_in_prf :
    (PRF_types.t_prf -> PRF_types.t_prf) ->
    PRF_types.t_prf -> PRF_types.t_prf
end