anchor.diff:  	 }.
   
   %% @doc Returns the domain of characters i.e., integers in the range `$a..$z'.
  +%% @spec char() -> domain()
   char() -> 
       #?DOM{kind=char,
   	  generate  = fun(_,_GS) -> $a + random:uniform($z - $a + 1)-1 end,
  
positive.code: 	}.
  
  %% @doc The domain of (64 bit) floats.
  real() -> 
      #?DOM{kind=real,
  	 generate  = fun(_,GS) -> (random:uniform()*GS) - (GS / 2) end
  
negative.code: 	 simplify=fun(_Dom,Val) -> Val end}.
  
  
  %% @spec any()  -> domain()
  any()  ->
      #?DOM{kind=any,
  	  generate=fun(#?DOM{kind=any}=Dom,GS) ->
  