Module Test.Fields

module Fields: sig .. end

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 .. end