package goblint

  1. Overview
  2. Docs

Module Goblint_lib.GobSys

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