anchor.diff:  quanta_in_ms(Quanta, Unit) ->
       Quanta*unit_to_ms(Unit).
   
  -
   %% EQC Generators
   date_gen() ->
       ?SUCHTHAT(Date, {choose(1970, 2015), choose(1, 12), choose(1, 31)}, calendar:valid_date(Date)).
  
positive.code:             Month =:= 1 andalso Day =:= 1 andalso QuantaTime =:= {0,0,0}
          end).
  
  -endif.
  
  quanta_now_from_datetime(DateTime, Quanta, Unit) ->
      SecondsFrom0To1970 = ?DAYS_FROM_0_TO_1970 * (unit_to_ms(d) div 1000),
  
negative.code:            {choose(1,2000), h},
             {choose(1, 60), m}]).
  
  -endif.
  
  -endif.
  