sig
  exception Parse_error of string
  val fml_of_string : ?print_tokens:bool -> string -> FML_types.t_fml
  val fml_list_of_file : string -> FML_types.t_fml list
  val string_of_binop : FML_types.t_binop -> string
  val string_of_unop : FML_types.t_unop -> string
  val string_of_quant : FML_types.t_quant -> string
  val string_of_pred : FML_types.t_pred -> string
  val string_of_var : FML_types.t_var -> string
  val string_of_term : FML_types.t_term -> string
  val string_of_fml : FML_types.t_fml -> string
  val closed_terms_of_fml : FML_types.t_fml -> FML_types.t_term list
  val is_closed_term : FML_types.t_term -> bool
  val fml_is_fml_with_var_replaced_by_term :
    FML_types.t_fml ->
    FML_types.t_fml -> FML_types.t_var -> FML_types.t_term option
  val subst_in_fml :
    FML_types.t_var -> FML_types.t_term -> FML_types.t_fml -> FML_types.t_fml
  val vars_of_terms : FML_types.t_term list -> FML_types.t_var list
  val free_vars_of_fml : FML_types.t_fml -> FML_types.t_var list
end