bit_value_fct

bit_value_fct 
      ::= 
      bit_substring_fct 

[rule list]
This rule is called by

-> string_value_fct