sig
  val iter :
    Test.t ->
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> Test.t -> string -> 'a) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm ->
           Test.t -> Test.Basic_test.t list -> 'b) ->
    'b
  val fold :
    Test.t ->
    init:'a ->
    name:('a ->
          ([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> Test.t -> string -> 'b) ->
    tests:('b ->
           ([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm ->
           Test.t -> Test.Basic_test.t list -> 'c) ->
    'c
end