base_quickcheck v0.16.0 · OCaml Package

val iter : 
  t ->
  seed:((t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> Base.unit) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.unit) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.unit) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      Base.unit) ->
  Base.unit

val fold : 
  t ->
  init:'acc__0 ->
  seed:('acc__0 -> (t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> 'acc__1) ->
  test_count:
    ('acc__1 -> (t, Base.int) Fieldslib.Field.t -> t -> Base.int -> 'acc__2) ->
  shrink_count:
    ('acc__2 -> (t, Base.int) Fieldslib.Field.t -> t -> Base.int -> 'acc__3) ->
  sizes:
    ('acc__3 ->
      (t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      'acc__4) ->
  'acc__4

val for_all : 
  t ->
  seed:((t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> Base.bool) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.bool) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.bool) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      Base.bool) ->
  Base.bool

val exists : 
  t ->
  seed:((t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> Base.bool) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.bool) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.bool) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      Base.bool) ->
  Base.bool

val to_list : 
  t ->
  seed:((t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> 'elem__) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> 'elem__) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> 'elem__) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      'elem__) ->
  'elem__ Base.list

val map : 
  t ->
  seed:((t, Seed.t) Fieldslib.Field.t -> t -> Seed.t -> Seed.t) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.int) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> t -> Base.int -> Base.int) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      t ->
      Base.int Base.Sequence.t ->
      Base.int Base.Sequence.t) ->
  t

val set_all_mutable_fields : t -> Base.unit

package base_quickcheck