(*********************************************************************)
(*                         The Filesystem                            *)
(*********************************************************************)
(* OBJNAME: all the possible absolute path names for files and directories BYTE: elements that can be stored in a file *)
Parameter OBJNAME BYTE : Set.

(*These axioms are needed by functions of ListSet.                   *)
Axiom OBJNAMEeq_dec : forall x y : OBJNAME, {x = y} + {x <> y}.