Fields.Direct
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