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

Axiom BYTEeq_dec : forall x y : BYTE, {x = y} + {x <> y}.
Hint Resolve OBJNAMEeq_dec BYTEeq_dec.