gillian » Gillian » Utils » Io_utils

Module Utils.Io_utils

val safe_mkdir : string -> unit

Create a folder safely

val rm_r : string -> unit

Recursively delete a folder and its contents

val rm_rf : string -> unit

Same as rm_r, but doesn't fail if the path doesn't exist

val save_file : string -> string -> unit

Write string to file

val save_file_pp :
  string ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  'a ->
  unit

Same as save_file, but uses a formatter

val load_file : string -> string

Read a file

val get_files : string -> string list

Read multiple files