Specification nat_or_fail

[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,

Specification nat_or_fail

data specification 
   using nat
   nat_or_fail = some(the : nat) | fail;
   variables 
      norfail : nat_or_fail; 
end data specification