anchor.diff:  shrink(Domain=#?DOM{shrink=SFun}, Value) ->
       SFun(Domain,Value);
   
  -shrink(_, Simple) when Simple =:= [];
  -		       Simple =:= {};
  -		       Simple =:= '';
  -		       Simple =:= << >>;
  -                       Simple =:= 0;
  -                       Simple =:= 0.0 ->
  -
  -    {Simple,Simple};
   
   shrink(TupDom,Tup) when is_tuple(TupDom), 
                           is_tuple(Tup), 
  
positive.code: %% @end
  %%-------------------------------------------------------------------
  
  -spec seal(Dom::domain(T)) -> domain(box(T)).
      
  seal(Dom) ->
      Seed = random:seed(),
  
negative.code: -record(choose,{min,max}).
  -record(elements,{elems,size,picked=none}).
  -record(seal,{dom,seed}).
  
  %% generators
  -export([list/1, tuple/1, int/0, real/0, sized/1, elements/1, any/0, atom/0, atom/1, choose/2,
  