(*********************************************************************)
(*                         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.

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