sig
  val names : string list
  val tests :
    ([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
    Fieldslib.Field.t_with_perm
  val name :
    ([< `Read | `Set_and_create ], Test.t, string)
    Fieldslib.Field.t_with_perm
  val make_creator :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> 'a -> ('b -> string) * 'c) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm ->
           'c -> ('b -> Test.Basic_test.t list) * 'd) ->
    'a -> ('b -> Test.t) * 'd
  val create : name:string -> tests:Test.Basic_test.t list -> Test.t
  val map :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> string) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> Test.Basic_test.t list) ->
    Test.t
  val iter :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> 'a) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> 'b) ->
    'b
  val fold :
    init:'a ->
    name:('a ->
          ([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> 'b) ->
    tests:('b ->
           ([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> 'c) ->
    'c
  val map_poly :
    ([< `Read | `Set_and_create ], Test.t, 'a) Fieldslib.Field.user ->
    'a list
  val for_all :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> bool) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> bool) ->
    bool
  val exists :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> bool) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> bool) ->
    bool
  val to_list :
    name:(([< `Read | `Set_and_create ], Test.t, string)
          Fieldslib.Field.t_with_perm -> 'a) ->
    tests:(([< `Read | `Set_and_create ], Test.t, Test.Basic_test.t list)
           Fieldslib.Field.t_with_perm -> 'a) ->
    'a list
  module Direct :
    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
end