module Observable: sig .. end
type -'a t
An observable for 'a, packing a printer and other things.
val equal : 'a t -> 'a -> 'a -> bool
val hash : 'a t -> 'a -> int
val print : 'a t -> 'a QCheck.Print.t
val unit : unit t
val bool : bool t
val int : int t
val float : float t
val string : string t
val char : char t
val make : ?eq:('a -> 'a -> bool) ->
?hash:('a -> int) -> 'a QCheck.Print.t -> 'a t
val map : ('a -> 'b) -> 'b t -> 'a t
val option : 'a t -> 'a option t
val list : 'a t -> 'a list t
val array : 'a t -> 'a array t
val pair : 'a t ->
'b t -> ('a * 'b) t
val triple : 'a t ->
'b t ->
'c t -> ('a * 'b * 'c) t
val quad : 'a t ->
'b t ->
'c t ->
'd t -> ('a * 'b * 'c * 'd) t