Module Valgen.Prop

Properties to be tested on a number of random test cases

type 'a t = 'a -> bool