Specification abstract-dir

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

data specification
   

   using dir-entries, 
         metadata


   abstract-dir := mkdir(. .size : nat;
                         . .meta : metadata;
                         . .nlink : nat;
                         . .nsubdirs : nat;
                         . .entries : dir-entries)
                ;

   variables  ad : abstract-dir;

   

   
end data specification