sig
  type -'a t
  val make :
    ?eq:('-> '-> bool) ->
    ?hash:('-> int) -> 'QCheck2.Print.t -> 'QCheck2.Observable.t
  val equal : 'QCheck2.Observable.t -> '-> '-> bool
  val hash : 'QCheck2.Observable.t -> '-> int
  val print : 'QCheck2.Observable.t -> 'QCheck2.Print.t
  val unit : unit QCheck2.Observable.t
  val bool : bool QCheck2.Observable.t
  val int : int QCheck2.Observable.t
  val float : float QCheck2.Observable.t
  val string : string QCheck2.Observable.t
  val char : char QCheck2.Observable.t
  val contramap :
    ('-> 'a) -> 'QCheck2.Observable.t -> 'QCheck2.Observable.t
  val map : ('-> 'a) -> 'QCheck2.Observable.t -> 'QCheck2.Observable.t
  val option : 'QCheck2.Observable.t -> 'a option QCheck2.Observable.t
  val list : 'QCheck2.Observable.t -> 'a list QCheck2.Observable.t
  val array : 'QCheck2.Observable.t -> 'a array QCheck2.Observable.t
  val pair :
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t -> ('a * 'b) QCheck2.Observable.t
  val triple :
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t -> ('a * 'b * 'c) QCheck2.Observable.t
  val quad :
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t ->
    'QCheck2.Observable.t -> ('a * 'b * 'c * 'd) QCheck2.Observable.t
end