anchor.diff:      Attribute.
   
   %% This should be auto-generated by a 'decision tree compiler'
  -%% that creates compiled Erlang code from the above (or similar)
  -%% declarative type hierarchy specification.
  +%% that creates compiled Erlang code from a declarative type
  +%% hierarchy specification.
   %% Compilation should also optimize away the getopt/1 calls,
   %% taking a concrete options configuration into account.
   subtype([], 'T') -> [];
  
positive.code: %% Tests
  -ifdef(TEST).
  
  char_in_ranges_test() ->
      ?assertNot(char_in_ranges($A, [])),
      ?assertNot(char_in_ranges($A, [{$a, $z}])),
      ?assertNot(char_in_ranges($\n, [{$a, $z}])),
      ?assert(char_in_ranges($\n, [{$a, $z}, $\n])),
      ?assert(char_in_ranges($A, [{$A, $Z}])),
      ?assert(char_in_ranges($A, [{$A, $Z}, {$a, $z}])).
  
  -endif.
  
negative.code:         false -> false
      end;
  dyn_record(_V) -> false.
  
  
  %% class-specific extra data
  