bit_substring_fct

bit_substring_fct 
      ::= 
      "substring" "(" bit_value_exp "from" start_position 
      [ "for" string_length ] ")" 

[rule list]
This rule is called by

-> bit_value_fct