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