https://github.com/EasyCrypt/easycrypt
Tip revision: 0afb9713c2be31c8c32b5221bd263996be92dc78 authored by François Dupressoir on 06 July 2021, 09:30:36 UTC
Clean some SMT calls in PRP-PRF
Clean some SMT calls in PRP-PRF
Tip revision: 0afb971
XDG.mli
(* -------------------------------------------------------------------- *)
type path = string
type xdgroots = {
xdg_data_home : path;
xdg_config_home : path;
xdg_cache_home : path;
xdg_data_dirs : path list;
xdg_config_dirs : path list;
}
val xdgroots : xdgroots
exception XdgUndefined of string
(* -------------------------------------------------------------------- *)
val home : string
(* -------------------------------------------------------------------- *)
type mode = [`User | `System | `All]
type xdgfile =
?roots:xdgroots
-> ?exists:bool
-> appname:string
-> mode:mode
-> path
-> path list
(* -------------------------------------------------------------------- *)
module Data : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Config : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Cache : sig
val user : ?roots:xdgroots -> unit -> path
val file : xdgfile
end