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