anchor.diff:           binary/0,
            non_empty/1,
            resize/2,
  +         arbitrary_term/1,
            non_neg_integer/0,
            pos_integer/0]).
   
  
positive.code:     end.
  
  %%
  %% Generator for tuples
  %%
  %% @spec tuple(domain(ElemType::any())) -> domain(tuple(ElemType))
  
negative.code: %% generators
  -export([list/1,
           tuple/1,
           map/0,
           int/0,
           int/1,
           int/2,
  