Module Goblint_lib.GobSys

val mkdir_parents : Fpath.t -> unit
val mkdir_or_exists : Fpath.t -> unit
val rmdir_if_empty : Fpath.t -> unit