sig   type 'a t = 'a -> bool   val ( ==> ) : ('a -> bool) -> 'a QCheck.Prop.t -> 'a QCheck.Prop.t   val assume : bool -> unit   val assume_lazy : bool lazy_t -> unit   val raises : e:exn -> f:('a -> 'b) -> x:'a -> bool   val ( &&& ) : 'a QCheck.Prop.t -> 'a QCheck.Prop.t -> 'a QCheck.Prop.t   val ( ||| ) : 'a QCheck.Prop.t -> 'a QCheck.Prop.t -> 'a QCheck.Prop.t   val ( !!! ) : 'a QCheck.Prop.t -> 'a QCheck.Prop.t end