[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 encoding-lprops
instantiate parameter
   elem
< 
   encoding-fixed-size

with 
   lprops


   
by mapping
      : elem → lprops; 
      a → lp; 
      b → lp0; 
      c → lp1
   rename 
      ENCODED_ELEM_SIZE → ENCODED_LPROPS_SIZE; 
      encoding-size → encoding-size; 
      is-garbage → is-garbage-lprops; 
      is-encoded → is-encoded; 
      encode# → encode_lprops#; 
      decode# → decode_lprops#
end instantiate