anchor.diff:          SpecBuilder<'a,'b,'c>( generator0, shrinker0, generator1, shrinker1,generator2, shrinker2, 
               (fun a b c -> (assertion0 a b c) .|. (label name (assertion.Invoke(a,b,c)))), conditions, collects, classifies)  
         
  -                
  -type Spec() =
  +///Entry point to specifying a property.
  +type Spec private() =
       static let _ = Runner.init.Value
       static let noshrink = fun _ -> Seq.empty
       static member ForAny(assertion:Func<'a,bool>) =
  
positive.code: 
  open Gen
  
  [<System.Runtime.CompilerServices.Extension>]
  type GeneratorExtensions = 
      ///Map the given function to the value in the generator, yielding a new generator of the result type.  
  
negative.code:           Arbitrary = []
          }
  
  ///Specify a property to test.
  [<AbstractClass>]
  type Specification() =
      inherit obj()
  